| 2023 | Algebraic Replicated Data Types: Programming Secure Local-First Software. | Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini |
| 2023 | Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). | Sung-Shik Jongmans, Francisco Ferreira |
| 2023 | Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. | Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
| 2023 | The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). | Simon Henniger, Nada Amin |
| 2023 | Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). | Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty |
| 2023 | LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). | Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini |
| 2023 | Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. | Henrique Botelho Guerra, Joo F. Ferreira, Joo Costa Seco |
| 2023 | Synthesis-Aided Crash Consistency for Storage Systems. | Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt |
| 2023 | super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. | Andong Fan, Lionel Parreaux |
| 2023 | Modular Compilation for Higher-Order Functional Choreographies. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2023 | Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. | David Castro-Perez, Nobuko Yoshida |
| 2023 | Modular Abstract Definitional Interpreters for WebAssembly. | Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen |
| 2023 | Multi-Graded Featherweight Java. | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2023 | Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). | Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung |
| 2023 | Nested Pure Operation-Based CRDTs. | Jim Bauwens, Elisa Gonzalez Boix |
| 2023 | Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. | Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou |
| 2023 | On Leveraging Tests to Infer Nullable Annotations. | Jens Dietrich, David J. Pearce, Mahin Chandramohan |
| 2022 | Elementary Type Inference. | Jinxu Zhao, Bruno C. d. S. Oliveira |
| 2022 | What If We Don't Pop the Stack? The Return of 2nd-Class Values. | Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf |
| 2022 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2022 | A Step toward Programming with Versions in Real-World Functional Languages. | Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara |
| 2022 | Global Type Inference for Featherweight Generic Java. | Andreas Stadelmeier, Martin Plmicke, Peter Thiemann |
| 2022 | Modeling flexible Monitoring Systems with a Role-Based Control Loop. | Ilja Shmelkin, Lars Schtze, Tim Kluge |
| 2022 | Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract). | Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
| 2022 | JavaScript Sealed Classes. | Manuel Serrano |