834 B
834 B
- 02/2016 Our preprint A program logic for union bounds is now available
on
arXiv. - 01/2016 Our paper Do prices coordinate markets? has been accepted to STOC 2016!
- 01/2016 Our preprint Synthesizing probabilistic invariants via Doob's decomposition is now available.
- 01/2016 Our preprint Proving differential privacy via probabilistic
couplings is now available on
arXiv. - 01/2016 Slides now available for Jointly private convex programming, presented at SODA 2016.
- 11/2015 Slides now available for Relational reasoning via probabilistic coupling, presented at LPAR 2015.
- 11/2015 I will be serving on the External Review Committee of PLDI 2016.
- 11/2015 Our preprint Do prices coordinate markets? is now available on
arXiv.