KiJu06

Kim, Y., and Y. Jun, "An Optimal Tool for Verifying Races in OpenMP Programs," 06 Int'l Conference on Hybrid Information Technology, SERC, Cheju Island, Korea, Nov., 2006.

Others

link