Sign in

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

Yasushi NegishiHiroki MurataGuojing CongHui-Fang WenI-Hsin Chung
Published in: PADTAD (2012)
Keyphrases