Detecting and surviving data races using complementary schedules (2011)

by K VEERARAGHAVAN, P M CHEN, J FLINN, S NARAYANASAMY
Venue:In Proc. of Symposium on Operating System Principles (SOSP