| 2022 | Layer Activation Mechanism for Asynchronous Executions in JavaScript. | Hiroaki Fukuda, Paul Leger, Nicols Cardozo |
| 2022 | Direct Foundations for Compositional Programming. | Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira |
| 2022 | API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. | Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, Jos Proena |
| 2022 | Fair Termination of Multiparty Sessions. | Luca Ciccone, Francesco Dagnino, Luca Padovani |
| 2022 | Ferrite: A Judgmental Embedding of Session Types in Rust. | Ruofei Chen, Stephanie Balzer, Bernardo Toninho |
| 2022 | Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. | Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi |
| 2022 | Explicit Tool Support for Implicit Layer Activation. | Markus Brand, Stefan Ramson, Jens Lincke, Robert Hirschfeld |
| 2022 | Verified Compilation and Optimization of Floating-Point Programs in CakeML. | Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox |
| 2022 | Functional Programming for Distributed Systems with XC. | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli |
| 2021 | Best-Effort Lazy Evaluation for Python Software Built on APIs. | Guoqiang Zhang, Xipeng Shen |
| 2021 | Type-Directed Operational Semantics for Gradual Typing. | Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang |
| 2021 | Ensuring correct cryptographic algorithm and provider usage at compile time. | Weitian Xing, Yuanhui Cheng, Werner Dietl |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2021 | Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. | Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala |
| 2021 | λ-Based Object-Oriented Programming (Pearl). | Marco Servetto, Elena Zucca |
| 2021 | Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. | Philipp Dominik Schubert, Ben Hermann, Eric Bodden |
| 2021 | A generic type system for featherweight Java. | Ulrich Schpp, Chuangjie Xu |
| 2021 | Linear Promises: Towards Safer Concurrent Programming. | Ohad Rau, Caleb Voss, Vivek Sarkar |
| 2021 | Combining formal and machine learning techniques for the generation of JML specifications. | Armand Puccetti, Gal de Chalendar, Pierre-Yves Gibello |
| 2021 | Reconstructing z3 proofs in KeY: there and back again. | Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich |
| 2021 | Refactoring traces to identify concurrency improvements. | Indigo Orton, Alan Mycroft |
| 2021 | Source code patches from dynamic analysis. | Indigo Orton, Alan Mycroft |
| 2021 | IntelliJML: a JML plugin for IntelliJ IDEA. | Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman |
| 2021 | First-class concepts: reifying architectural knowledge beyond the dominant decomposition. | Toni Mattis, Tom Beckmann, Patrick Rein, Robert Hirschfeld |
| 2021 | CodeDJ: Reproducible Queries over Large-Scale Software Repositories. | Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek |