Skip to main content
Book cover
  • 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

Editors:

  1. Ilya Sergey

    1. National University of Singapore, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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.

Sections

Softcover Book USD 49.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages i-xiv
    PDF

  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
Back to top

Other Volumes

  1. Programming Languages and Systems

Back to top

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.

 

 

Back to top

Keywords

  • 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
Back to top

Editors and Affiliations

  • National University of Singapore, Singapore, Singapore

    Ilya Sergey

Back to top

Bibliographic Information

Back to top
Softcover Book USD 49.99
Price excludes VAT (USA)
Learn about institutional subscriptions