Scalable and precise dynamic datarace detection for structured parallelism.

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

Browse the full PLDI paper archive.