Relaxed-memory concurrency and verified compilation
From MaRDI portal
Publication:5408530
Recommendations
Cited in
(10)- Effective Abstractions for Verification under Relaxed Memory Models
- Verified just-in-time compiler on x86
- Computer Algebra in Scientific Computing
- Possible values: exploring a concept for concurrency
- Verified Compilation for Shared-Memory C
- CompCertTSO
- Compositional verification of compiler optimisations on relaxed memory
- Mathematizing C++ concurrency
- Lem: a lightweight tool for heavyweight semantics
- Verifying Optimizations for Concurrent Programs
This page was built for publication: Relaxed-memory concurrency and verified compilation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408530)