Bringing Order to the Separation Logic Jungle
Abstract elided by the publisher.
Related papers
- Embedding Hindsight Reasoning in Separation Logic PLDI 2023
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA 2025
- Jungloid mining: helping to navigate the API jungle PLDI 2005
- Tales from the jungle ICFP 2012
- Reasoning over Permissions Regions in Concurrent Separation Logic CAV 2020
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic ICFP 2018
- CN: Verifying Systems C Code with Separation-Logic Refinement Types POPL 2023
- RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing POPL 2026