Program Verification Under Weak Memory Consistency Using Separation Logic
No abstract available.
Related papers
- Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris ECOOP 2017
- Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory OOPSLA 2023
- Verifying read-copy-update in a logic for weak memory PLDI 2015
- Dynamic Robustness Verification against Weak Memory PLDI 2025
- How Hard Is Weak-Memory Testing? POPL 2024
- Weak atomicity under the x86 memory consistency model PPoPP 2011
- Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models TOPLAS 2023
- A Separation Logic for a Promising Semantics ESOP 2018