| 2023 | 37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, July 17-21, 2023 Karim Ali, Guido Salvaneschi |
| 2023 | A Direct-Style Effect Notation for Sequential and Parallel Programs. David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini |
| 2023 | Algebraic Replicated Data Types: Programming Secure Local-First Software. Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini |
| 2023 | An Efficient Vectorized Hash Table for Batch Computations. Hesam Shahrokhi, Amir Shaikhha |
| 2023 | Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. Felix Stutz |
| 2023 | Automata Learning with an Incomplete Teacher. Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva |
| 2023 | Behavioural Types for Local-First Software. Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto |
| 2023 | Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták |
| 2023 | Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung |
| 2023 | ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel |
| 2023 | Constraint Based Compiler Optimization for Energy Harvesting Applications. Yannan Li, Chao Wang |
| 2023 | Dependent Merges and First-Class Environments. Jinhao Tan, Bruno C. d. S. Oliveira |
| 2023 | Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou |
| 2023 | Do Machine Learning Models Produce TypeScript Types That Type Check? Ming-Ho Yee, Arjun Guha |
| 2023 | Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
| 2023 | Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. David Castro-Perez, Nobuko Yoshida |
| 2023 | Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2023 | Hinted Dictionaries: Efficient Functional Ordered Sets and Maps. Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
| 2023 | Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. Henrique Botelho Guerra, João F. Ferreira, João Costa Seco |
| 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 | Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification. Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott |
| 2023 | LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini |
| 2023 | Modular Abstract Definitional Interpreters for WebAssembly. Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen |
| 2023 | Modular Compilation for Higher-Order Functional Choreographies. Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2023 | Modular Verification of State-Based CRDTs in Separation Logic. Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal |
| 2023 | Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. Ashish Mishra, Suresh Jagannathan |
| 2023 | Multi-Graded Featherweight Java. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2023 | Nested Pure Operation-Based CRDTs. Jim Bauwens, Elisa Gonzalez Boix |
| 2023 | On Leveraging Tests to Infer Nullable Annotations. Jens Dietrich, David J. Pearce, Mahin Chandramohan |
| 2023 | On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). João Mota, Marco Giunti, António Ravara |
| 2023 | On the Rise of Modern Software Documentation (Pearl/Brave New Idea). Marco Raglianti, Csaba Nagy, Roberto Minelli, Bin Lin, Michele Lanza |
| 2023 | Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. Magnus Madsen, Jaco van de Pol |
| 2023 | Python Type Hints Are Turing Complete (Pearl/Brave New Idea). Ori Roth |
| 2023 | Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze |
| 2023 | Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty |
| 2023 | Semantics for Noninterference with Interaction Trees. Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic |
| 2023 | Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina |
| 2023 | Synthesis-Aided Crash Consistency for Storage Systems. Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt |
| 2023 | Synthesizing Conjunctive Queries for Code Search. Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang |
| 2023 | Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). Sung-Shik Jongmans, Francisco Ferreira |
| 2023 | The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). Simon Henniger, Nada Amin |
| 2023 | Toward Tool-Independent Summaries for Symbolic Execution. Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos |
| 2023 | VeriFx: Correct Replicated Data Types for the Masses. Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix |
| 2023 | Wiring Circuits Is Easy as {0, 1, ω}, or Is It... Jan de Muijnck-Hughes, Wim Vanderbauwhede |
| 2023 | super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. Andong Fan, Lionel Parreaux |