Three papers were accepted to POPL'21! Congratulations to all!

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!