Daniel Marino Madanlal Musuvathi Satish Narayanasamy LiteRace: effective sampling for lightweight data-race detection. 134-143 2009 PLDI http://doi.acm.org/10.1145/1542476.1542491 conf/pldi/2009 db/conf/pldi/pldi2009.html#MarinoMN09