| 2021 | 35th European Conference on Object-Oriented Programming, ECOOP 2021, Aarhus, Denmark (Virtual Conference), July 11-17, 2021 Anders Møller, Manu Sridharan |
| 2021 | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. Maxime Buyse, Rémi Delmas, Youssef Hamadi |
| 2021 | Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue |
| 2021 | Best-Effort Lazy Evaluation for Python Software Built on APIs. Guoqiang Zhang, Xipeng Shen |
| 2021 | CodeDJ: Reproducible Queries over Large-Scale Software Repositories. Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek |
| 2021 | Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. Jan Bessai, George T. Heineman, Boris Düdder |
| 2021 | Dealing with Variability in API Misuse Specification. Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini |
| 2021 | Differential Privacy for Coverage Analysis of Software Traces. Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, Atanas Rountev |
| 2021 | Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs. Xiaodong Gu, Yo-Sub Han, Sunghun Kim, Hongyu Zhang |
| 2021 | Enabling Additional Parallelism in Asynchronous JavaScript Applications. Ellen Arteca, Frank Tip, Max Schäfer |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2021 | Gradual Program Analysis for Null Pointers. Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine |
| 2021 | Idris 2: Quantitative Type Theory in Practice. Edwin C. Brady |
| 2021 | Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. Aleksandar S. Dimovski, Sven Apel |
| 2021 | Linear Promises: Towards Safer Concurrent Programming. Ohad Rau, Caleb Voss, Vivek Sarkar |
| 2021 | Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. Philipp Dominik Schubert, Ben Hermann, Eric Bodden |
| 2021 | Multiparty Languages: The Choreographic and Multitier Cases (Pearl). Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger |
| 2021 | Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay |
| 2021 | On the Monitorability of Session Types, in Theory and Practice. Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas |
| 2021 | Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala |
| 2021 | Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. Hendrik van Antwerpen, Eelco Visser |
| 2021 | Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara |
| 2021 | Type-Directed Operational Semantics for Gradual Typing. Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang |
| 2021 | λ-Based Object-Oriented Programming (Pearl). Marco Servetto, Elena Zucca |