Cited in
(13)- Common compiler optimisations are invalid in the C11 memory model and what we can do about it
- Automatically comparing memory consistency models
- Tackling real-life relaxed concurrency with FSL++
- Goldilocks
- LOCKSMITH
- RELAY
- ktsan
- MultiRace
- ThreadSanitizer
- tsan
- Overhauling SC atomics in C11 and OpenCL
- Dynamic race detection for C++11
- HolBA
This page was built for software: CDSChecker
