Mun-Hye Kang

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Mun-Hye Kang, Yong-Kee Jun
Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism. FGIT-ASEA/DRBC/EL (2011)
Byoung-Kwi Lee, Mun-Hye Kang, Kyoung Choon Park, Jin Seob Yi, Sang Woo Yang, Yong-Kee Jun
Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers. FGIT-ASEA/DRBC/EL (2011)
Ok-Kyoon Ha, Young-Joo Kim, Mun-Hye Kang, Yong-Kee Jun
Empirical Comparison of Race Detection Tools for OpenMP Programs. FGIT-GDC (2009)
Mun-Hye Kang, Ok-Kyoon Ha, Sang-Woo Jun, Yong-Kee Jun
A Tool for Detecting First Races in OpenMP Programs. PaCT (2009)
Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun
Efficient Race Verification for Debugging Programs with OpenMP Directives. PaCT (2007)