Efficient Race Verification for Debugging Programs with OpenMP Directives. - Young-Joo Kim; Mun-Hye Kang; Ok-Kyoon Ha; Yong-Kee Jun (PaCT, 2007)

Empirical Comparison of Race Detection Tools for OpenMP Programs. - Ok-Kyoon Ha; Young-Joo Kim; Mun-Hye Kang; Yong-Kee Jun (FGIT-GDC, 2009)

A Tool for Detecting First Races in OpenMP Programs. - Mun-Hye Kang; Ok-Kyoon Ha; Sang-Woo Jun; Yong-Kee Jun (PaCT, 2009)

Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism. - Mun-Hye Kang; Yong-Kee Jun (FGIT-ASEA/DRBC/EL, 2011)

Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers. - Byoung-Kwi Lee; Mun-Hye Kang; Kyoung Choon Park; Jin Seob Yi; Sang Woo Yang; Yong-Kee Jun (FGIT-ASEA/DRBC/EL, 2011)