CDSChecker
From MaRDI portal
swMATH21725MaRDI QIDQ33527FDOQ33527
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=2509514
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
- HolBA
- 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
This page was built for software: CDSChecker
