Skip to main content
  • Conference proceedings
  • Open Access
  • © 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

  • This book is open access, which means that you have free and unlimited access

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13240)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2022.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (21 papers)

  1. Front Matter

    Pages i-xiv
  2. Categorical Foundations of Gradient-Based Learning

    • Geoffrey S. H. Cruttwell, Bruno Gavranović, Neil Ghani, Paul Wilson, Fabio Zanasi
    Pages 1-28Open Access
  3. 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
    Pages 29-56Open Access
  4. Foundations for Entailment Checking in Quantitative Separation Logic

    • Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja et al.
    Pages 57-84Open Access
  5. Extracting total Amb programs from proofs

    • Ulrich Berger, Hideki Tsuiki
    Pages 85-113Open Access
  6. Why3-do: The Way of Harmonious Distributed System Proofs

    • Cláudio Belo Lourenço, Jorge Sousa Pinto
    Pages 114-142Open Access
  7. Relaxed virtual memory in Armv8-A

    • Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell
    Pages 143-173Open Access
  8. Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

    • Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark et al.
    Pages 174-203Open Access
  9. The Trusted Computing Base of the CompCert Verified Compiler

    • David Monniaux, Sylvain Boulmé
    Pages 204-233Open Access
  10. View-Based Owicki–Gries Reasoning for Persistent x86-TSO

    • Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
    Pages 234-261Open Access
  11. Abstraction for Crash-Resilient Objects

    • Artem Khyzha, Ori Lahav
    Pages 262-289Open Access
  12. Static Race Detection for Periodic Programs

    • Varsha P Suresh, Rekha Pai, Deepak D’Souza, Meenakshi D’Souza, Sujit Kumar Chakrabarti
    Pages 290-316Open Access
  13. Probabilistic Total Store Ordering

    • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, Krishna S.
    Pages 317-345Open Access
  14. Linearity and Uniqueness: An Entente Cordiale

    • Daniel Marshall, Michael Vollmer, Dominic Orchard
    Pages 346-375Open Access
  15. A Framework for Substructural Type Systems

    • James Wood, Robert Atkey
    Pages 376-402Open Access
  16. A Dependent Dependency Calculus

    • Pritam Choudhury, Harley Eades III, Stephanie Weirich
    Pages 403-430Open Access
  17. Polarized Subtyping

    • Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
    Pages 431-461Open Access
  18. Structured Handling of Scoped Effects

    • Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
    Pages 462-491Open Access
  19. Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style

    • Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
    Pages 492-519Open Access
  20. A Predicate Transformer for Choreographies

    • Sung-Shik Jongmans, Petra van den Bos
    Pages 520-547Open Access

Other Volumes

  1. Programming Languages and Systems

About this book

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.




  • automata theory
  • computer programming
  • computer systems
  • databases
  • distributed computer systems
  • distributed systems
  • embedded systems
  • formal languages
  • formal logic
  • linguistics
  • ontologies
  • parallel processing systems
  • program compilers
  • programming languages
  • semantics
  • software design
  • software engineering
  • software quality
  • verification

Editors and Affiliations

  • National University of Singapore, Singapore, Singapore

    Ilya Sergey

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)