Cosmin Radoi, Danny Dig. Practical static race detection for Java parallel loops. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 178-190, ACM, 2013. [doi]