Static data race detection for concurrent programs with asynchronous calls.

Vineet Kahlon Nishant Sinha Erik Kruus Yun Zhang Static data race detection for concurrent programs with asynchronous calls. 13-22 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595701 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#KahlonSKZ09