Utpal Banerjee Brian Bliss Zhiqiang Ma Paul Petersen A theory of data race detection. 69-78 2006 PADTAD http://doi.acm.org/10.1145/1147403.1147416 conf/issta/2006p db/conf/issta/padtad2006.html#BanerjeeBMP06