An efficient data race detector backend for DIOTA.

Michiel Ronsse Bastiaan Stougie Jonas Maebe Frank Cornelis Koenraad De Bosschere An efficient data race detector backend for DIOTA. 39-46 2003 conf/parco/2003 PARCO db/conf/parco/parco2003.html#RonsseSMCB03