Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract)
No abstract available.
Related papers
- An Operational Approach to Library Abstraction under Relaxed Memory Concurrency POPL 2023
- Modular Relaxed Dependencies in Weak Memory Concurrency ESOP 2020
- Relaxed separation logic: a program logic for C11 concurrency OOPSLA 2013
- Sequential reasoning for optimizing compilers under weak memory concurrency PLDI 2022
- Compass: strong and compositional library specifications in relaxed memory separation logic PLDI 2022
- Verifying C11-style weak memory libraries PPoPP 2021
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models OOPSLA 2024
- SecRSL: security separation logic for C11 release-acquire concurrency OOPSLA 2021