A static analysis tool using a three-step approach for data races in HPC programs.

Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, I-Hsin Chung

Browse the full ISSTA paper archive.