CDSChecker

MaRDI QIDQ33527swMATHFDO

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
• 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