ESOP 2020
27 papers
- A First-Order Logic with Frames
- ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
- Connecting Higher-Order Separation Logic to a First-Order Outside World
- Constructive Game Logic
- Continualization of Probabilistic Programs With Correction
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
- Higher-Order Spreadsheets with Spilled Arrays
- Higher-Ranked Annotation Polymorphic Dependency Analysis
- Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap
- Local Reasoning for Global Graph Properties
- Mixed Sessions
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows
- Modular Relaxed Dependencies in Weak Memory Concurrency
- On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem
- Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis
- Proving the Safety of Highly-Available Distributed Objects
- Runners in Action
- RustHorn: CHC-Based Verification for Rust Programs
- SMT-Friendly Formalization of the Solidity Memory Model
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Solving Program Sketches with Large Integer Values
- Soundness Conditions for Big-Step Semantics
- Trace-Relating Compiler Correctness and Secure Compilation
- Verifying Visibility-Based Weak Consistency