ESOP 2023

20 papers

1. A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests · Todd Schmid, Tobias Kappé, Alexandra Silva
2. A Type System for Effect Handlers and Dynamic Labels · Paulo Emílio de Vilhena, François Pottier
3. Adversarial Reachability for Program-level Security Analysis · Soline Ducousso, Sébastien Bardin, Marie-Laure Potet
4. Automated Grading of Regular Expressions · Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
5. Automatic Alignment in Higher-Order Probabilistic Programming Languages · Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman
6. Builtin Types Viewed as Inductive Families · Guillaume Allais
7. Bunched Fuzz: Sensitivity for Vector Metrics · june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
8. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces · Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
9. Contextual Modal Type Theory with Polymorphic Contexts · Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
10. Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing · Basim Khajwal, C.-H. Luke Ong, Dominik Wagner
11. Gradual Tensor Shape Checking · Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
12. Interpreting Knowledge-based Programs · Alexander Knapp, Heribert Mühlberger, Bernhard Reus
13. Logics for Extensional, Locally Complete Analysis via Domain Refinements · Flavio Ascari, Roberto Bruni, Roberta Gori
14. MAGπ: Types for Failure-Prone Communication · Matthew Alan Le Brun, Ornela Dardha
15. Modal Crash Types for Intermittent Computing · Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
16. Pragmatic Gradual Polymorphism with References · Wenjia Ye, Bruno C. d. S. Oliveira
17. Quorum Tree Abstractions of Consensus Protocols · Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
18. Safe Session-Based Concurrency with Shared Linear State · Pedro Rocha, Luís Caires
19. System Fμ ømega with Context-free Session Types · Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
20. Type-safe Quantum Programming in Idris · Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev