Oracle Semantics for Concurrent Separation Logic
Abstract elided by the publisher.
Related papers
- SteelCore: an extensible concurrent separation logic for effectful dependently typed programs ICFP 2020
- SecCSL: Security Concurrent Separation Logic CAV 2019
- A separation logic for refining concurrent objects POPL 2011
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic JFP 2018
- Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement POPL 2024
- A Separation Logic for a Promising Semantics ESOP 2018
- Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic POPL 2026
- Syntactic control of interference for separation logic POPL 2012