| 2019 | 33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, United Kingdom, July 15-19, 2019 Alastair F. Donaldson |
| 2019 | A Program Logic for First-Order Encapsulated WebAssembly. Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner |
| 2019 | A Typing Discipline for Hardware Interfaces. Jan de Muijnck-Hughes, Wim Vanderbauwhede |
| 2019 | Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper). Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder |
| 2019 | Deep Static Modeling of invokedynamic. George Fourtounis, Yannis Smaragdakis |
| 2019 | DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access. Matthias Springer, Hidehiko Masuhara |
| 2019 | Eventually Sound Points-To Analysis with Specifications. Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2019 | Finally, a Polymorphic Linear Algebra Language (Pearl). Amir Shaikhha, Lionel Parreaux |
| 2019 | Fling - A Fluent API Generator. Yossi Gil, Ori Roth |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2019 | Garbage-Free Abstract Interpretation Through Abstract Reference Counting. Noah Van Es, Quentin Stiévenart, Coen De Roover |
| 2019 | Godot: All the Benefits of Implicit and Explicit Futures. Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad |
| 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 | Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek |
| 2019 | Lifestate: Event-Driven Protocols and Callback Control Flow. Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang |
| 2019 | MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). Linghui Luo, Julian Dolby, Eric Bodden |
| 2019 | Minimal Session Types (Pearl). Alen Arslanagic, Jorge A. Pérez, Erik Voogd |
| 2019 | Motion Session Types for Robotic Interactions (Brave New Idea Paper). Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey |
| 2019 | Multitier Modules. Pascal Weisenburger, Guido Salvaneschi |
| 2019 | Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper). Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers |
| 2019 | NumLin: Linear Types for Linear Algebra. Dhruv C. Makwana, Neelakantan R. Krishnaswami |
| 2019 | On Satisfiability of Nominal Subtyping with Variance. Aleksandr Misonizhnik, Dmitry Mordvinov |
| 2019 | Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. Alexi Turcotte, Ellen Arteca, Gregor Richards |
| 2019 | Reliable State Machines: A Framework for Programming Reliable Cloud Services. Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy |
| 2019 | Scopes and Frames Improve Meta-Interpreter Specialization. Vlad A. Vergu, Andrew Tolmach, Eelco Visser |
| 2019 | Semantic Patches for Java Program Transformation (Experience Report). Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo |
| 2019 | Static Analysis for Asynchronous JavaScript Programs. Thodoris Sotiropoulos, Benjamin Livshits |
| 2019 | Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser |
| 2019 | Transferring Obligations Through Synchronizations. Jafar Hamin, Bart Jacobs |
| 2019 | Transient Typechecks Are (Almost) Free. Richard Roberts, Stefan Marr, Michael Homer, James Noble |