Verified Compilation for Shared-Memory C
Abstract elided by the publisher.
Related papers
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Relaxed-memory concurrency and verified compilation POPL 2011
- Atomicity refinement for verified compilation PLDI 2014
- Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems CAV 1999
- Atomicity Refinement for Verified Compilation TOPLAS 2014
- Verified compilation of C programs with a nominal memory model POPL 2022
- Teapot: Language Support for Writing Memory Coherence Protocols PLDI 1996
- Towards Verifying Crash Consistency OOPSLA 2025