ESOP 2021

24 papers

1. An Automated Deductive Verification Framework for Circuit-building Quantum Programs · Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
2. Automated Termination Analysis of Polynomial Probabilistic Programs · Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
3. Bayesian strategies: probabilistic programs as generalised graphical models · Hugo Paquet
4. Checking Robustness Between Weak Transactional Consistency Models · Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
5. Complete trace models of state and control · Guilhem Jaber, Andrzej S. Murawski
6. Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages · Daniel Lundén, Johannes Borgström, David Broman
7. Coupled Relational Symbolic Execution for Differential Privacy · Gian Pietro Farina, Stephen Chong, Marco Gaboardi
8. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains · Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
9. Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere · Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner
10. Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing · Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
11. For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM · Maximilian P. L. Haslbeck, Peter Lammich
12. Graded Hoare Logic and its Categorical Semantics · Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
13. Graded Modal Dependent Type Theory · Benjamin Moon, Harley Eades III, Dominic Orchard
14. Nested Session Types · Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
15. Query Lifting - Language-integrated query for heterogeneous nested collections · Wilmer Ricciotti, James Cheney
16. Reverse AD at Higher Types: Pure, Principled and Denotationally Correct · Matthijs Vákár
17. Run-time Complexity Bounds Using Squeezers · Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
18. Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols · Alex C. Keizer, Henning Basold, Jorge A. Pérez
19. Sound and Complete Concolic Testing for Higher-order Functions · Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
20. Strong-Separation Logic · Jens Pagel, Florian Zuleger
21. Temporal Refinements for Guarded Recursive Types · Guilhem Jaber, Colin Riba
22. The Decidability of Verification under PS 2.0 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
23. Types for Complexity of Parallel Computation in Pi-Calculus · Patrick Baillot, Alexis Ghyselen
24. Verified Software Units · Lennart Beringer