Raghavan Raman Jisheng Zhao Vivek Sarkar Martin T. Vechev Eran Yahav Efficient Data Race Detection for Async-Finish Parallelism. 368-383 2010 RV http://dx.doi.org/10.1007/978-3-642-16612-9_28 conf/rv/2010 db/conf/rv/rv2010.html#RamanZSVY10