1 paper · 1 filter
Weiyu Luo, Brian Demsky
Writing correct concurrent code that uses atomics under the C/C++ memory model is extremely difficult. We present C11Tester, a race detector for the C/C++ memory model that can exp…