default search action

combined dblp search
author search
venue search
publication search

ask others

31st ESOP@ETAPS 2022: Munich, Germany

> Home > Conferences and Workshops > ESOP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2022
Ilya Sergey:
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. Lecture Notes in Computer Science 13240, Springer 2022, ISBN 978-3-030-99335-1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CruttwellGGWZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CruttwellGGWZ22
Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi:
Categorical Foundations of Gradient-Based Learning. 1-28
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LundenOKSRB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LundenOKSRB22
Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman:
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. 29-56
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BatzFJKKMN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BatzFJKKMN22
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll:
Foundations for Entailment Checking in Quantitative Separation Logic. 57-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BergerT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BergerT22
Ulrich Berger, Hideki Tsuiki:
Extracting total Amb programs from proofs. 85-113
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LourencoP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LourencoP22
Cláudio Belo Lourenço, Jorge Sousa Pinto:
Why3-do: The Way of Harmonious Distributed System Proofs. 114-142
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SimnerAPPGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SimnerAPPGS22
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell:
Relaxed virtual memory in Armv8-A. 143-173
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BauereissCSAESB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BauereissCSAESB22
Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell:
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. 174-203
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/MonniauxB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MonniauxB22
David Monniaux, Sylvain Boulmé:
The Trusted Computing Base of the CompCert Verified Compiler. 204-233
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BilaDLRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BilaDLRW22
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson:
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. 234-261
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KhyzhaL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KhyzhaL22
Artem Khyzha, Ori Lahav:
Abstraction for Crash-Resilient Objects. 262-289
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SureshPDDC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SureshPDDC22
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti:
Static Race Detection for Periodic Programs. 290-316
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/AbdullaAAGK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AbdullaAAGK22
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna:
Probabilistic Total Store Ordering. 317-345
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/MarshallVO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MarshallVO22
Danielle Marshall, Michael Vollmer, Dominic Orchard:
Linearity and Uniqueness: An Entente Cordiale. 346-375
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/WoodA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WoodA22
James Wood, Robert Atkey:
A Framework for Substructural Type Systems. 376-402
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ChoudhuryEW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ChoudhuryEW22
Pritam Choudhury, Harley Eades III, Stephanie Weirich:
A Dependent Dependency Calculus. 403-430
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LakhaniDDMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LakhaniDDMP22
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning:
Polarized Subtyping. 431-461
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/YangPWBS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/YangPWBS22
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers:
Structured Handling of Scoped Effects. 462-491
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SchusterBO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SchusterBO22
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann:
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. 492-519
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/JongmansB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JongmansB22
Sung-Shik Jongmans, Petra van den Bos:
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. 520-547
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/Glabbeek22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Glabbeek22
Rob van Glabbeek:
Comparing the expressiveness of the π-calculus and CCS. 548-574
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/WagemakerFKKRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WagemakerFKKRS22
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva:
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. 575-602

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.