1.2 KiB
1.2 KiB
- 05/2018 Our preprint Convex Language Semantics for Nondeterministic Probabilistic Automata is now available.
- 05/2018 I will be serving on the program committee of POPL 2019 in Lisbon, Portugal. Submit your best papers!
- 04/2018 Almost Sure Productivity will appear at ICALP 2018!
- 04/2018 Slides now available for An Assertion-Based Program Logic for Probabilistic Programs.
- 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 committee 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.