| 2021 | Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara |
| 2021 | Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. | Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue |
| 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 | Nave transient cast insertion isn't (that) bad. | Erin Greenwood-Thessman, Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble |
| 2021 | Behavioural separation with parallel usages. | Iaroslav Golovanov, Hans Httel, Mathias Jakobsen, Mikkel Kettunen |
| 2021 | Multiparty Languages: The Choreographic and Multitier Cases (Pearl). | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger |
| 2021 | Using dafny to solve the VerifyThis 2021 challenges. | Marie Farrell, Conor Reynolds, Rosemary Monahan |
| 2021 | Gradual Program Analysis for Null Pointers. | Sam Estep, Jenna Wise, Jonathan Aldrich, ric Tanter, Johannes Bader, Joshua Sunshine |
| 2021 | Towards a framework for analyzing context-oriented programming languages. | Achiya Elyasaf, Arnon Sturm |
| 2021 | Resolving synchronization conflicts in role-based multimodel-synchronization environments. | Sebastian Ebert, Tim Kluge, Sebastian Gtz |
| 2021 | Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. | Aleksandar S. Dimovski, Sven Apel |
| 2021 | JML and OpenJML for Java 16. | David R. Cok |
| 2021 | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. | Maxime Buyse, Rmi Delmas, Youssef Hamadi |
| 2021 | On the Monitorability of Session Types, in Theory and Practice. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |
| 2021 | Idris 2: Quantitative Type Theory in Practice. | Edwin C. Brady |
| 2021 | Dealing with Variability in API Misuse Specification. | Rodrigo Bonifcio, Stefan Krger, Krishna Narasimhan, Eric Bodden, Mira Mezini |
| 2021 | Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. | Jan Bessai, George T. Heineman, Boris Ddder |
| 2021 | Enabling Additional Parallelism in Asynchronous JavaScript Applications. | Ellen Arteca, Frank Tip, Max Schfer |
| 2021 | Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. | Hendrik van Antwerpen, Eelco Visser |
| 2021 | Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. | Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay |
| 2020 | Data Consistency in Transactional Storage Systems: A Centralised Semantics. | Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner |
| 2020 | Row and Bounded Polymorphism via Disjoint Polymorphism. | Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 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 |