| 2022 | A Dependent Dependency Calculus. Pritam Choudhury, Harley Eades III, Stephanie Weirich |
| 2022 | A Framework for Substructural Type Systems. James Wood, Robert Atkey |
| 2022 | A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. Sung-Shik Jongmans, Petra van den Bos |
| 2022 | Abstraction for Crash-Resilient Objects. Artem Khyzha, Ori Lahav |
| 2022 | Categorical Foundations of Gradient-Based Learning. Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi |
| 2022 | Comparing the expressiveness of the π-calculus and CCS. Rob van Glabbeek |
| 2022 | Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman |
| 2022 | Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2022 | Extracting total Amb programs from proofs. Ulrich Berger, Hideki Tsuiki |
| 2022 | Foundations for Entailment Checking in Quantitative Separation Logic. Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll |
| 2022 | Linearity and Uniqueness: An Entente Cordiale. Danielle Marshall, Michael Vollmer, Dominic Orchard |
| 2022 | Polarized Subtyping. Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
| 2022 | Probabilistic Total Store Ordering. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna |
| 2022 | Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings Ilya Sergey |
| 2022 | Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann |
| 2022 | Relaxed virtual memory in Armv8-A. Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
| 2022 | Static Race Detection for Periodic Programs. Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti |
| 2022 | Structured Handling of Scoped Effects. Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers |
| 2022 | The Trusted Computing Base of the CompCert Verified Compiler. David Monniaux, Sylvain Boulmé |
| 2022 | Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell |
| 2022 | View-Based Owicki-Gries Reasoning for Persistent x86-TSO. Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson |
| 2022 | Why3-do: The Way of Harmonious Distributed System Proofs. Cláudio Belo Lourenço, Jorge Sousa Pinto |