ESOP 2021 Accepted Papers
Nested Session Types
Run-time Complexity Bounds Using Squeezers
Types for Complexity of Parallel Computation in Pi-Calculus
Temporal Refinements for Guarded Recursive Types
Checking Robustness Between Weak Transactional Consistency Models
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
Graded Modal Dependent Type Theory
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
Automated Termination Analysis of Polynomial Probabilistic Programs
Verified Software Units
Coupled Relational Symbolic Execution for Differential Privacy
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Bayesian strategies: probabilistic programs as generalised graphical models
Graded Hoare Logic and its Categorical Semantics
Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere
Complete trace models of state and control
For a Few Dollars More -- Verified Fine-Grained Algorithm Analysis Down to LLVM
Strong-Separation Logic
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Sound and Complete Concolic Testing for Higher-Order Functions
An Automated Deductive Verication Framework for Circuit-building Quantum Programs
The Decidability of Verification under PS 2.0
Query Lifting
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains