ESOP 2022 accepted papers

Pritam Choudhury (University of Pennsylvania), Harley Eades (Augusta University), Stephanie Weirich (University of Pennsylvania). A Dependent Dependency Calculus

James Wood and Robert Atkey (University of Strathclyde). A Framework for Substructural Type Systems

Sung-Shik Jongmans (Open University of the Netherlands, Centrum Wiskunde & Informatica (CWI)), Petra van den Bos (University of Twente). A Predicate Transformer for Choreographies

Artem Khyzha (ARM), Ori Lahav (Tel Aviv University). Abstraction for Crash-Resilient Objects

Geoff Cruttwell (Mount Allison University), Bruno Gavranovic, Neil Ghani (University of Strathclyde), Paul Wilson (University of Southampton), Fabio Zanasi (University College London). Categorical Foundations of Gradient-Based Learning

Rob van Glabbeek (Data61, CSIRO). Comparing the expressiveness of the pi-calculus and CCS

Daniel Lundén (KTH Royal Institute of Technology), Joey Öhman (AI Sweden), Jan Kudlicka (BI Norwegian Business School), Viktor Senderov, Fredrik Ronquist (Swedish Museum of Natural History), David Broman (KTH Royal Institute of Technology). Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference

Jana Wagemaker (Radboud University, The Netherlands), Nate Foster (Cornell University), Tobias Kappé (ILLC, University of Amsterdam), Dexter Kozen (Cornell University), Jurriaan Rot (Radboud University), Alexandra Silva (Cornell University). Concurrent Netkat

Hideki Tsuiki (Kyoto University), Ulrich Berger (Swansea University). Extracting total Amb programs from proofs

Kevin Batz, Ira Fesefeldt (RWTH Aachen University), Marvin Jansen (unaffiliated), Joost-Pieter Katoen (RWTH Aachen University), Florian Kessler (unaffiliated), Christoph Matheja (ETH Zürich), Thomas Noll (RWTH Aachen University). Foundations for Entailment Checking in Quantitative Separation Logic

Daniel Marshall, Michael Vollmer, and Dominic Orchard (University of Kent). Linearity and Uniqueness: An Entente Cordiale

Zeeshan Lakhani, Ankush Das, Henry DeYoung (Carnegie Mellon University), Andreia Mordido (LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal), Frank Pfenning (Carnegie Mellon University). Polarized Subtyping

Parosh Aziz Abdulla and Mohamed Faouzi Atig (Uppsala University), Raj Aryan Agarwal (IIT Bombay), Adwait Godbole (UC Berkeley), Krishna S. (IIT Bombay). Probabilistic Total Store Order

Philipp Schuster (University of Tuebingen), Jonathan Immanuel Brachthäuser (University of Tübingen), Klaus Ostermann (University of Tuebingen). Region-based Resource Management in Continuation-Passing Style

Ben Simner, Alasdair Armstrong (University of Cambridge), Jean Pichon-Pharabod (Aarhus University), Christopher Pulte (University of Cambridge), Richard Grisenthwaite (Arm Ltd.), Peter Sewell (University of Cambridge). Relaxed Virtual Memory in Armv8-A

Varsha P Suresh (IIIT Bengaluru), Deepak D'Souza (Indian Institute of Science, Bangalore, India), Rekha Pai (Indian Institute of Science), Meenakshi D'Souza, Sujit Kumar Chakrabarti (IIIT Bengaluru). Static Race Detection for Periodic Programs

Zhixuan Yang, Marco Paviotti, Nicolas Wu (Imperial College London, UK), Birthe van den Berg, Tom Schrijvers (KU Leuven, Belgium). Structured Handling of Scoped Effects

David Monniaux (CNRS, Verimag), Sylvain Boulmé (Grenoble-INP, Verimag). The Trusted Computing Base of the CompCert Verified Compiler

Thomas Bauereiss (University of Cambridge), Brian Campbell (University of Edinburgh), Thomas Sewell, Alasdair Armstrong (University of Cambridge), Lawrence Esswood (University of Cambridge), Ian Stark (University of Edinburgh), Graeme Barnes (Arm Ltd.), Robert N. M. Watson, Peter Sewell (University of Cambridge). Verified security for the Morello capability-enhanced prototype Arm architecture

Eleni Bila, Brijesh Dongol (University of Surrey), Ori Lahav (Tel Aviv University), Azalea Raad, John Wickerson (Imperial College London). View-Based Owicki-Gries Reasoning for Persistent x86-TSO

Jorge Sousa Pinto (HASLab/INESC TEC & Universidade do Minho, Portugal), Cláudio Belo Lourenço (Huawei Technologies Research & Development (UK) Ltd). Why3-do: The Way of Harmonious Distributed System Proofs