Barriers in Concurrent Separation Logic
No abstract available.
Related papers
- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs PLDI 2025
- Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic PLDI 2023
- An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic POPL 2024
- An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics TOPLAS 2026
- Parameterized Memory Models and Concurrent Separation Logic ESOP 2010
- Oracle Semantics for Concurrent Separation Logic ESOP 2008
- Concurrent Separation Logic for Pipelined Parallelization SAS 2010
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning ESOP 2007