[ISCA'90] Weak Ordering - A New Definition
[HotPar'11] How to miscompile programs with “benign” data races
[TOPLS'11] Locksmith: Practical Static Race Detection for C
[PLDI'17] Repairing Sequential Consistency in C/C++11 [note]
[ISCA'90] Weak Ordering - A New Definition
[HotPar'11] How to miscompile programs with “benign” data races
[TOPLS'11] Locksmith: Practical Static Race Detection for C
[PLDI'17] Repairing Sequential Consistency in C/C++11 [note]