Young-Joo Kim Mi-Young Park So-Hee Park Yong-Kee Jun A Practical Tool for Detecting Races in OpenMP Programs. 321-330 2005 conf/pact/2005 PaCT https://doi.org/10.1007/11535294_28 db/conf/pact/pact2005.html#KimPPJ05