A total of three papers from the madPL group were accepted to POPL’21! Asterisks denote madPL membership.
- A Pre-Expectation Calculus for Probabilistic Sensitivity by Alejandro Aguirre, Gilles Barthe, Justin Hsu*, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
- Semantics-Guided Synthesis by Jinwoo Kim*, Qinheping Hu*, Loris D’Antoni*, and Thomas Reps*.
- On the Complexity of Bidirected Interleaved Dyck-Reachability by Yuanbo Li, Qirun Zhang, and Thomas Reps*.
Congratulations to all of the authors!