Michiel Ronsse Koenraad De Bosschere Non-intrusive on-the-fly data race detection using execution replay. 2000 AADEBUG http://arxiv.org/abs/cs.SE/0011005 db/conf/aadebug/aadebug2000.html#RonsseB00