Ravi Chugh Jan Wen Voung Ranjit Jhala Sorin Lerner Dataflow analysis for concurrent programs using datarace detection. 316-326 2008 PLDI http://doi.acm.org/10.1145/1375581.1375620 conf/pldi/2008 db/conf/pldi/pldi2008.html#ChughVJL08