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 Thread Labeling for Monitoring Programs with Nested Parallelism. - Ok-Kyoon Ha; Sun-Sook Kim; Yong-Kee Jun (FGIT-FGCN (2), 2010)

A Race Healing Framework in Simulated ARINC-653. - Guy Martin Tchamgoue; In-Bon Kuh; Ok-Kyoon Ha; Kyong Hoon Kim; Yong-Kee Jun (FGIT-FGCN (2), 2010)

Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism. - Ok-Kyoon Ha; Yong-Kee Jun (FGIT-ASEA/DRBC/EL, 2011)

A Taxonomy of Concurrency Bugs in Event-Driven Programs. - Guy Martin Tchamgoue; Ok-Kyoon Ha; Kyong Hoon Kim; Yong-Kee Jun (FGIT-ASEA/DRBC/EL, 2011)

Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism. - Sun-Sook Kim; Ok-Kyoon Ha; Yong-Kee Jun (UCMA (2), 2011)

Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers. - Guy Martin Tchamgoue; Ok-Kyoon Ha; Kyong Hoon Kim; Yong-Kee Jun (UCMA (2), 2011)

Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs. - Ying Meng; Ok-Kyoon Ha; Yong-Kee Jun (FGIT, 2012)

On-the-fly detection of data races in OpenMP programs. - Ok-Kyoon Ha; In-Bon Kuh; Guy Martin Tchamgoue; Yong-Kee Jun (PADTAD, 2012)

An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks. - Byoung-Jin Bae; Young-Joo Kim; Young-Kuk Kim; Ok-Kyoon Ha; Yong-Kee Jun (Int. J. Distributed Sens. Networks, 2014)

Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data. - Myeong-Chul Park; Ok-Kyoon Ha; Seok-Wun Ha; Yong-Kee Jun (Int. J. Distributed Sens. Networks, 2014)

An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique. - Ok-Kyoon Ha; Yong-Kee Jun (Sci. Program., 2015)

Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems. - Young-Joo Kim; Jong-Soo Seok; Yung-Joon Jung; Ok-Kyoon Ha (J. Sensors, 2016)

Effective Parallelization Method for Object Recognition in 2D Sonar Images Based on Task Partitioning. - Ok-Kyoon Ha; Keonpyo Lee; Wan-Jin Kim; Kun Su Yoon (Sci. Program., 2019)

Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations. - Chang-Hui Bae; Euteum Choi; Yong-Kee Jun; Ok-Kyoon Ha (ICSTW, 2023)