Chen Tian Vijay Nagarajan Rajiv Gupta Sriraman Tallam Dynamic recognition of synchronization operations for improved data race detection. 143-154 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390649 conf/issta/2008 db/conf/issta/issta2008.html#TianNGT08