| 2022 | 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6-10, 2022 Karim Ali, Jan Vitek |
| 2022 | A Deterministic Memory Allocator for Dynamic Symbolic Execution. Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | A Self-Dual Distillation of Session Types. Jules Jacobs |
| 2022 | API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença |
| 2022 | Accumulation Analysis. Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst |
| 2022 | Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi |
| 2022 | Compiling Volatile Correctly in Java. Shuyang Liu, John Bender, Jens Palsberg |
| 2022 | Concolic Execution for WebAssembly. Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão |
| 2022 | Defining Corecursive Functions in Coq Using Approximations. Vlad Rusu, David Nowak |
| 2022 | Design-By-Contract for Flexible Multiparty Session Protocols. Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
| 2022 | Direct Foundations for Compositional Programming. Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira |
| 2022 | Elementary Type Inference. Jinxu Zhao, Bruno C. d. S. Oliveira |
| 2022 | Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST. François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams |
| 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 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2022 | Functional Programming for Distributed Systems with XC. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli |
| 2022 | Functional Programming with Datalog. André Pacak, Sebastian Erdweg |
| 2022 | Global Type Inference for Featherweight Generic Java. Andreas Stadelmeier, Martin Plümicke, Peter Thiemann |
| 2022 | Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract). Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
| 2022 | How to Take the Inverse of a Type. Danielle Marshall, Dominic Orchard |
| 2022 | JavaScript Sealed Classes. Manuel Serrano |
| 2022 | Low-Level Bi-Abduction. Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger |
| 2022 | Maniposynth: Bimodal Tangible Functional Programming. Brian Hempel, Ravi Chugh |
| 2022 | NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20. Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Tony Liu, Scott McMillan, John Phillip Ratzloff, Marcin Zalewski |
| 2022 | PEDroid: Automatically Extracting Patches from Android App Updates. Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu |
| 2022 | Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini |
| 2022 | Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. Dongjie He, Jingbo Lu, Jingling Xue |
| 2022 | REST: Integrating Term Rewriting with Program Verification. Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers |
| 2022 | Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). Marcelo Navarro, Federico Olmedo |
| 2022 | Static Analysis for AWS Best Practices in Python Code. Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson |
| 2022 | Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
| 2022 | Synchron - An API and Runtime for Embedded Systems. Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran |
| 2022 | Union Types with Disjoint Switches. Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
| 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 | Vincent: Green Hot Methods in the JVM (Extended Abstract). Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu |
| 2022 | What If We Don't Pop the Stack? The Return of 2nd-Class Values. Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf |