justin-site/content/news.md

1.2 KiB

  • 04/2018 Our preprint Constraint-Based Synthesis of Coupling Proofs is now available.
  • 04/2018 Constraint-Based Synthesis of Coupling Proofs will appear at CAV 2018!
  • 03/2018 Our preprint Probabilistic Program Equivalence for NetKAT is now available.
  • 02/2018 Our preprint Almost Sure Productivity is now available.
  • 02/2018 I will be serving on the program committe of LICS 2018 in Oxford, England.
  • 01/2018 Slides now available for Proving Expected Sensitivity of Probabilistic Programs.
  • 12/2017 An Assertion-Based Program Logic for Probabilistic Programs will appear at ESOP 2018!
  • 11/2017 My dissertation Probabilistic Couplings for Probabilistic Reasoning is now available.
  • 10/2017 Our preprints Reasoning about Divergences for Relaxations of Differential Privacy and A Program Logic for Probabilistic Programs are now available.
  • 09/2017 Synthesizing Coupling Proofs of Differential Privacy and Proving Expected Sensitivity of Probabilistic Programs will appear at POPL 2018!
  • 09/2017 Our preprint Synthesizing Coupling Proofs of Differential Privacy is now available.