Amit Sasturkar Rahul Agarwal Liqiang Wang Scott D. Stoller Automated type-based analysis of data races and atomicity. 83-94 2005 conf/ppopp/2005 PPOPP http://doi.acm.org/10.1145/1065944.1065956 db/conf/ppopp/ppopp2005.html#SasturkarAWS05