| 2020 | 34th European Conference on Object-Oriented Programming, ECOOP 2020, Berlin, Germany (Virtual Conference), November 15-17, 2020 Robert Hirschfeld, Tobias Pape |
| 2020 | A Big Step from Finite to Infinite Computations (SCICO Journal-first). Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca |
| 2020 | A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede |
| 2020 | A Semantics for the Essence of React. Magnus Madsen, Ondrej Lhoták, Frank Tip |
| 2020 | A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner |
| 2020 | A Type-Directed Operational Semantics For a Calculus with a Merge Operator. Xuejing Huang, Bruno C. d. S. Oliveira |
| 2020 | Abstracting Gradual References (SCICO Journal-first). Matías Toro, Éric Tanter |
| 2020 | Blame for Null. Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták |
| 2020 | Data Consistency in Transactional Storage Systems: A Centralised Semantics. Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner |
| 2020 | Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). Colin S. Gordon |
| 2020 | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers. Lukas Diekmann, Laurence Tratt |
| 2020 | Flow-Sensitive Type-Based Heap Cloning. Mohamad Barbar, Yulei Sui, Shiping Chen |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2020 | K-LLVM: A Relatively Complete Semantics of LLVM IR. Liyi Li, Elsa L. Gunter |
| 2020 | Lifting Sequential Effects to Control Operators. Colin S. Gordon |
| 2020 | Model-View-Update-Communicate: Session Types Meet the Elm Architecture. Simon Fowler |
| 2020 | Multiparty Session Programming With Global Protocol Combinators. Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
| 2020 | Owicki-Gries Reasoning for C11 RAR. Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim |
| 2020 | Perfect Is the Enemy of Good: Best-Effort Program Synthesis. Hila Peleg, Nadia Polikarpova |
| 2020 | Putting Randomized Compiler Testing into Production (Experience Report). Alastair F. Donaldson, Hugues Evrard, Paul Thomson |
| 2020 | Reconciling Event Structures with Modern Multiprocessors. Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis |
| 2020 | Reference Mutability for DOT. Vlastimil Dort, Ondrej Lhoták |
| 2020 | Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach |
| 2020 | Row and Bounded Polymorphism via Disjoint Polymorphism. Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers |
| 2020 | Safe, Flexible Aliasing with Deferred Borrows. Chris Fallin |
| 2020 | Scala with Explicit Nulls. Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu |
| 2020 | Sound Regular Corecursion in coFJ. Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | Space-Efficient Gradual Typing in Coercion-Passing Style. Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi |
| 2020 | Static Analysis of Shape in TensorFlow Programs. Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis |
| 2020 | Static Race Detection and Mutex Safety and Liveness for Go Programs. Julia Gabet, Nobuko Yoshida |
| 2020 | Static Type Analysis by Abstract Interpretation of Python Programs. Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
| 2020 | Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model. Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter |
| 2020 | Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). David Maciver, Alastair F. Donaldson |
| 2020 | The Duality of Subtyping. Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman |
| 2020 | Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. Benjamin Barslev Nielsen, Anders Møller |