| 2020 | A Type-Directed Operational Semantics For a Calculus with a Merge Operator. | Xuejing Huang, Bruno C. d. S. Oliveira |
| 2020 | Lifting Sequential Effects to Control Operators. | Colin S. Gordon |
| 2020 | Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). | Colin S. Gordon |
| 2020 | Static Race Detection and Mutex Safety and Liveness for Go Programs. | Julia Gabet, Nobuko Yoshida |
| 2020 | Safe, Flexible Aliasing with Deferred Borrows. | Chris Fallin |
| 2020 | Reference Mutability for DOT. | Vlastimil Dort, Ondrej Lhotk |
| 2020 | Putting Randomized Compiler Testing into Production (Experience Report). | Alastair F. Donaldson, Hugues Evrard, Paul Thomson |
| 2020 | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers. | Lukas Diekmann, Laurence Tratt |
| 2020 | Owicki-Gries Reasoning for C11 RAR. | Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim |
| 2020 | Adaptive Variables for Declarative UAV Planning. | John Henry Burns, Xiaozhou Liang, Yu David Liu |
| 2020 | History-based specification and verification of Java collections in KeY (keynote). | Frank S. de Boer, Hans-Dieter A. Hiep |
| 2020 | An inductive abstract semantics for coFJ. | Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | Flow-Sensitive Type-Based Heap Cloning. | Mohamad Barbar, Yulei Sui, Shiping Chen |
| 2020 | A Big Step from Finite to Infinite Computations (SCICO Journal-first). | Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca |
| 2020 | Sound Regular Corecursion in coFJ. | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | Model-View-Update-Communicate: Session Types Meet the Elm Architecture. | Simon Fowler |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2019 | Multitier Modules. | Pascal Weisenburger, Guido Salvaneschi |
| 2019 | A Program Logic for First-Order Encapsulated WebAssembly. | Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner |
| 2019 | Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper). | Alex Villazn, Haiyang Sun, Andrea Ros, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder |
| 2019 | Scopes and Frames Improve Meta-Interpreter Specialization. | Vlad A. Vergu, Andrew Tolmach, Eelco Visser |
| 2019 | Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines. | Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka |
| 2019 | Towards a Type System for R. | Alexi Turcotte, Jan Vitek |
| 2019 | Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. | Alexi Turcotte, Ellen Arteca, Gregor Richards |
| 2019 | DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access. | Matthias Springer, Hidehiko Masuhara |