Polyvios Pratikakis Jeffrey S. Foster Michael W. Hicks LOCKSMITH: context-sensitive correlation analysis for race detection. 320-331 2006 conf/pldi/2006 PLDI http://doi.acm.org/10.1145/1133981.1134019 db/conf/pldi/pldi2006.html#PratikakisFH06