Effective Program Verification for Relaxed Memory Models
No abstract available.
Related papers
- Effective Abstractions for Verification under Relaxed Memory Models VMCAI 2015
- Compositional Verification of Compiler Optimisations on Relaxed Memory ESOP 2018
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Partial-coherence abstractions for relaxed memory models PLDI 2011
- Relaxed virtual memory in Armv8-A ESOP 2022
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models OOPSLA 2024
- Compass: strong and compositional library specifications in relaxed memory separation logic PLDI 2022
- ArchSem: Reusable Rigorous Semantics of Relaxed Architectures POPL 2026