Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, I-Hsin Chung. A static analysis tool using a three-step approach for data races in HPC programs. In Jeremy S. Bradbury, Simone do Rocio Senger de Souza, editors, Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012. pages 11-17, ACM, 2012. [doi]
Abstract is missing.