A Program Logic for C11 Memory Fences
No abstract available.
Related papers
- Verifying observational robustness against a c11-style memory model POPL 2021
- Taming release-acquire consistency POPL 2016
- Overhauling SC atomics in C11 and OpenCL POPL 2016
- Relaxed separation logic: a program logic for C11 concurrency OOPSLA 2013
- SecRSL: security separation logic for C11 release-acquire concurrency OOPSLA 2021
- Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris ECOOP 2017
- Implementing and verifying release-acquire transactional memory in C11 OOPSLA 2022
- Owicki-Gries Reasoning for C11 RAR ECOOP 2020