Practical static race detection for Java parallel loops.

Cosmin Radoi, Danny Dig

Browse the full ISSTA paper archive.