| 2019 | Godot: All the Benefits of Implicit and Explicit Futures. | Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad |
| 2019 | Garbage-Free Abstract Interpretation Through Abstract Reference Counting. | Noah Van Es, Quentin Stivenart, Coen De Roover |
| 2019 | How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. | Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini |
| 2019 | Implementation of a Feature-Based Context-Oriented Programming Language. | Benot Duhoux, Kim Mens, Bruno Dumas |
| 2019 | Towards deductive verification of C11 programs with Event-B and ProB. | Mohammadsadegh Dalvandi, Brijesh Dongol |
| 2019 | Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). | Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek |
| 2019 | Decidable tag-based semantic subtyping for nominal types, tuples, and unions. | Julia Belyakova |
| 2019 | Eventually Sound Points-To Analysis with Specifications. | Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2019 | Minimal Session Types (Pearl). | Alen Arslanagic, Jorge A. Prez, Erik Voogd |
| 2019 | Progress Report: Exploring API Design for Capabilities for Programming with Arrays. | Beatrice kerblom, Elias Castegren, Tobias Wrigstad |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2018 | A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems. | Takuo Watanabe |
| 2018 | FHJ: A Formal Model for Hierarchical Dispatching and Overriding. | Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto |
| 2018 | Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. | John Toman, Dan Grossman |
| 2018 | Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. | Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach |
| 2018 | A Context-Oriented Programming Approach to Dependency Hell. | Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara |
| 2018 | Defensive Points-To Analysis: Effective Soundness via Laziness. | Yannis Smaragdakis, George Kastrinis |
| 2018 | Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. | Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz |
| 2018 | Theory and Practice of Coroutines with Snapshots. | Aleksandar Prokopec, Fengyun Liu |
| 2018 | Static Typing of Complex Presence Constraints in Interfaces. | Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter |
| 2018 | A Concurrent Specification of POSIX File Systems. | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
| 2018 | GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework. | Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld |
| 2018 | Fault-tolerant Distributed Reactive Programming. | Ragnar Mogk, Lars Baumgrtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini |
| 2018 | Definite Reference Mutability. | Ana L. Milanova |
| 2018 | Type Regression Testing to Detect Breaking Changes in Node.js Libraries. | Gianluca Mezzetti, Anders Mller, Martin Toldam Torp |