1.2 KiB
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.