Venues / ESOP /

ESOP 2022

21 papers

A Dependent Dependency Calculus · Pritam Choudhury, Harley Eades III, Stephanie Weirich
A Framework for Substructural Type Systems · James Wood, Robert Atkey
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming · Sung-Shik Jongmans, Petra van den Bos
Abstraction for Crash-Resilient Objects · Artem Khyzha, Ori Lahav
Categorical Foundations of Gradient-Based Learning · Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
Comparing the expressiveness of the π-calculus and CCS · Rob van Glabbeek
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
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks · Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Extracting total Amb programs from proofs · Ulrich Berger, Hideki Tsuiki
Foundations for Entailment Checking in Quantitative Separation Logic · Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja + 1 more
Linearity and Uniqueness: An Entente Cordiale · Danielle Marshall, Michael Vollmer, Dominic Orchard
Polarized Subtyping · Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Probabilistic Total Store Ordering · Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style · Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Relaxed virtual memory in Armv8-A · Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell
Static Race Detection for Periodic Programs · Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
Structured Handling of Scoped Effects · Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
The Trusted Computing Base of the CompCert Verified Compiler · David Monniaux, Sylvain Boulmé
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture · Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark + 3 more
View-Based Owicki-Gries Reasoning for Persistent x86-TSO · Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Why3-do: The Way of Harmonious Distributed System Proofs · Cláudio Belo Lourenço, Jorge Sousa Pinto