C11Tester: a race detector for C/C++ atomics.

Fri, 01 Jan 2021 00:00:00 +0100

Weiyu Luo, Brian Demsky:
C11Tester: a race detector for C/C++ atomics. ASPLOS 2021: 630-646