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