justin-site/content/news.md

853 B

  • 12/2016 Slides now available for Computer-aided verification in mechanism design.
  • 11/2016 Our preprint Relational expectation properties by probabilistic coupling is now available.
  • 10/2016 Slides now available for Advanced probabilistic couplings for differential privacy.
  • 10/2016 Our paper Coupling proofs are probabilistic product programs will appear at POPL 2017!
  • 10/2016 Our paper A semantic account of metric preservation will appear at POPL 2017!
  • 09/2016 Our paper Computer-aided verification in mechanism design will appear at WINE 2016!
  • 07/2016 Our paper Advanced probabilistic couplings for differential privacy will appear at CCS 2016!
  • 07/2016 Our paper Differentially private Bayesian programming will appear at CCS 2016!