Friday 21 January 2022
- The paper “A Predicate Transformer for Choreographies” by Sung-Shik Jongmans (Open University of the Netherlands, and CWI), and Petra van den Bos was accepted for ESOP.
- The paper “Correct Probabilistic Model Checking with Floating-Point Arithmetic” by Arnd Hartmanns was accepted for TACAS.
- The paper “Alpinist: an Annotation-Aware GPU Program Optimizer” by Ömer Şakar, Mohsen Safari, Marieke Huisman and Anton Wijs (TU/e) was accepted for TACAS.