279 citations · 1.4k across the 46 of their papers we have counts for
5 papers · 1 filter
Do Prices Coordinate Markets?
Justin Hsu, Jamie Morgenstern, Ryan Rogers +2
Walrasian equilibrium prices can be said to coordinate markets: They support a welfare optimal allocation in which each buyer is buying bundle of goods that is individually most pr…
Relational reasoning via probabilistic coupling
Gilles Barthe, Thomas Espitau, Benjamin Grégoire +3
Probabilistic coupling is a powerful tool for analyzing pairs of probabilistic processes. Roughly, coupling two processes requires finding an appropriate witness process that model…
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets
Sepehr Assadi, Justin Hsu, Shahin Jabbari
We investigate the problem of heterogeneous task assignment in crowdsourcing markets from the point of view of the requester, who has a collection of tasks. Workers arrive online o…
Really Natural Linear Indexed Type Checking
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi +1
Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices,…
Computer-aided verification in mechanism design
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (po…