1.4 KiB
1.4 KiB
- 07/2018 Convex Language Semantics for Nondeterministic Probabilistic Automata will appear at ICTAC 2018!
- 07/2018 I am honored to receive the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for my dissertation Probabilistic Couplings for Probabilistic Reasoning!
- 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.