We are delighted to announce that the following papers have been accepted for ACM Principles of Programming Languages 2021: Relatively Complete Verification of Probabilistic Programs by Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen and Christoph Matheja, and A Pre-Expectation Calculus for Probabilistic Sensitivity by Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Kaminski, Joost-Pieter Katoen and Christoph Matheja.
The former paper proves relative completeness for a syntex of formulae defining expectation functions w.r.t. a wp-semantics for probabilistic programs over expectation functions. The second paper develops a logic for estimating sensitivity properties (how do changes in the inputs affect the program’s output?) of probabilistic programs.