| 2022 | Abstraction for Crash-Resilient Objects. | Artem Khyzha, Ori Lahav |
| 2022 | A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. | Sung-Shik Jongmans, Petra van den Bos |
| 2022 | Comparing the expressiveness of the π-calculus and CCS. | Rob van Glabbeek |
| 2022 | Categorical Foundations of Gradient-Based Learning. | Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi |
| 2022 | A Dependent Dependency Calculus. | Pritam Choudhury, Harley Eades III, Stephanie Weirich |
| 2022 | View-Based Owicki-Gries Reasoning for Persistent x86-TSO. | Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson |
| 2022 | Extracting total Amb programs from proofs. | Ulrich Berger, Hideki Tsuiki |
| 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 | Foundations for Entailment Checking in Quantitative Separation Logic. | Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keler, Christoph Matheja, Thomas Noll |
| 2022 | Probabilistic Total Store Ordering. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna |
| 2021 | Sound and Complete Concolic Testing for Higher-order Functions. | Shu-Hung You, Robert Bruce Findler, Christos Dimoulas |
| 2021 | Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. | Matthijs Vkr |
| 2021 | Query Lifting - Language-integrated query for heterogeneous nested collections. | Wilmer Ricciotti, James Cheney |
| 2021 | Bayesian strategies: probabilistic programs as generalised graphical models. | Hugo Paquet |
| 2021 | Strong-Separation Logic. | Jens Pagel, Florian Zuleger |
| 2021 | Automated Termination Analysis of Polynomial Probabilistic Programs. | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovcs |
| 2021 | Graded Modal Dependent Type Theory. | Benjamin Moon, Harley Eades III, Dominic Orchard |
| 2021 | Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. | Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner |
| 2021 | Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. | Daniel Lundn, Johannes Borgstrm, David Broman |
| 2021 | Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. | Alex C. Keizer, Henning Basold, Jorge A. Prez |
| 2021 | Temporal Refinements for Guarded Recursive Types. | Guilhem Jaber, Colin Riba |
| 2021 | Complete trace models of state and control. | Guilhem Jaber, Andrzej S. Murawski |
| 2021 | Run-time Complexity Bounds Using Squeezers. | Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
| 2021 | For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. | Maximilian P. L. Haslbeck, Peter Lammich |
| 2021 | Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. | Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce |