Mark Christiaens Jong-Deok Choi Michiel Ronsse Koenraad De Bosschere Record/Play in the Presence of Benign Data Races. 1200-1206 2002 conf/pdpta/2002-3 PDPTA db/conf/pdpta/pdpta2002-3.html#ChristiaensCRB02