Efficient Data Race Detection for Async-Finish Parallelism.

Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav

Browse the full RV paper archive.