Effective Techniques for Static Race Detection in Java Parallel Loops.

Cosmin Radoi Danny Dig Effective Techniques for Static Race Detection in Java Parallel Loops. 24:1-24:30 2015 24 ACM Trans. Softw. Eng. Methodol. 4 https://doi.org/10.1145/2729975 db/journals/tosem/tosem24.html#RadoiD15