7 citations · 17 across the 14 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.GT2023
Trading Off Voting Axioms for Privacy
Zhechen Li, Ao Liu, Lirong Xia +2
In this paper, we investigate tradeoffs among differential privacy (DP) and several important voting axioms: Pareto efficiency, SD-efficiency, PC-efficiency, Condorcet consistency,…
cs.GT2023
First-Choice Maximality Meets Ex-ante and Ex-post Fairness
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia +2
For the assignment problem where multiple indivisible items are allocated to a group of agents given their ordinal preferences, we design randomized mechanisms that satisfy first-c…
cs.LO2023
A separation logic for sequences in pointer programs and its decidability
Tianyue Cao, Bowen Zhang, Zhao Jin +2
Separation logic and its variants can describe various properties on pointer programs. However, when it comes to properties on sequences, one may find it hard to formalize. To deal…