907 B
907 B
- 04/2016 Our papr Proving differential privacy via probabilistic couplings will appear at LICS 2016!
- 02/2016 An updated version of our preprint Computer-aided verification
in mechanism design is now available on
arXiv. - 02/2016 Our survey Programming language techniques for differential privacy appears in the latest issue of ACM SIGLOG News!
- 02/2016 Our preprint A program logic for union bounds is now available
on
arXiv. - 01/2016 Our paper Do prices coordinate markets? will appear at 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 from SODA 2016.