Efficient Race Verification for Debugging Programs with OpenMP Directives.

Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun

Browse the full PACT paper archive.