| 2023 | Dependent Merges and First-Class Environments. | Jinhao Tan, Bruno C. d. S. Oliveira |
| 2023 | ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. | Felix Suchert, Lisza Zeidler, Jernimo Castrilln, Sebastian Ertel |
| 2023 | Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. | Felix Stutz |
| 2023 | Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. | Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhotk |
| 2023 | Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification. | Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott |
| 2023 | Semantics for Noninterference with Interaction Trees. | Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic |
| 2023 | Hinted Dictionaries: Efficient Functional Ordered Sets and Maps. | Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
| 2023 | An Efficient Vectorized Hash Table for Batch Computations. | Hesam Shahrokhi, Amir Shaikhha |
| 2023 | Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. | Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Lus Pina |
| 2023 | Python Type Hints Are Turing Complete (Pearl/Brave New Idea). | Ori Roth |
| 2023 | A Direct-Style Effect Notation for Sequential and Parallel Programs. | David Richter, Timon Bhler, Pascal Weisenburger, Mira Mezini |
| 2023 | Toward Tool-Independent Summaries for Symbolic Execution. | Frederico Ramos, Nuno Sabino, Pedro Ado, David A. Naumann, Jos Fragoso Santos |
| 2023 | On the Rise of Modern Software Documentation (Pearl/Brave New Idea). | Marco Raglianti, Csaba Nagy, Roberto Minelli, Bin Lin, Michele Lanza |
| 2023 | VeriFx: Correct Replicated Data Types for the Masses. | Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix |
| 2023 | Information Flow Analysis for Detecting Non-Determinism in Blockchain. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2023 | Modular Verification of State-Based CRDTs in Separation Logic. | Abel Nieto, Arnaud Daby-Seesaram, Lon Gondelman, Amin Timany, Lars Birkedal |
| 2023 | Wiring Circuits Is Easy as {0, 1, ω}, or Is It... | Jan de Muijnck-Hughes, Wim Vanderbauwhede |
| 2023 | On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). | Joo Mota, Marco Giunti, Antnio Ravara |
| 2023 | Automata Learning with an Incomplete Teacher. | Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva |
| 2023 | Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. | Ashish Mishra, Suresh Jagannathan |
| 2023 | Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. | Petar Maksimovic, Caroline Cronjger, Andreas Lw, Julian Sutherland, Philippa Gardner |
| 2023 | Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. | Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze |
| 2023 | Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. | Magnus Madsen, Jaco van de Pol |
| 2023 | Constraint Based Compiler Optimization for Energy Harvesting Applications. | Yannan Li, Chao Wang |
| 2023 | Behavioural Types for Local-First Software. | Roland Kuhn, Hernn C. Melgratti, Emilio Tuosto |