Ok-Kyoon Ha

17 papers B 2Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2023 — conf
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations.
ICSTW
Chang-Hui Bae, Euteum Choi, Yong-Kee Jun, Ok-Kyoon Ha
2019 J jnl
Effective Parallelization Method for Object Recognition in 2D Sonar Images Based on Task Partitioning.
Sci. Program.
Ok-Kyoon Ha, Keonpyo Lee, Wan-Jin Kim, Kun Su Yoon
2016 J jnl
Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems.
J. Sensors
Young-Joo Kim, Jong-Soo Seok, Yung-Joon Jung, Ok-Kyoon Ha
2015 J jnl
An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique.
Sci. Program.
Ok-Kyoon Ha, Yong-Kee Jun
2014 J jnl
An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks.
Int. J. Distributed Sens. Networks
Byoung-Jin Bae, Young-Joo Kim, Young-Kuk Kim, Ok-Kyoon Ha, Yong-Kee Jun
2014 J jnl
Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data.
Int. J. Distributed Sens. Networks
Myeong-Chul Park, Ok-Kyoon Ha, Seok-Wun Ha, Yong-Kee Jun
2012 — conf
Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs.
FGIT
Ying Meng, Ok-Kyoon Ha, Yong-Kee Jun
2012 — conf
On-the-fly detection of data races in OpenMP programs.
PADTAD
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun
2011 — conf
A Taxonomy of Concurrency Bugs in Event-Driven Programs.
FGIT-ASEA/DRBC/EL
Guy Martin Tchamgoue, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun
2011 — conf
Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.
UCMA (2)
Sun-Sook Kim, Ok-Kyoon Ha, Yong-Kee Jun
2011 — conf
Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.
FGIT-ASEA/DRBC/EL
Ok-Kyoon Ha, Yong-Kee Jun
2011 — conf
Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers.
UCMA (2)
Guy Martin Tchamgoue, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun
2010 — conf
A Race Healing Framework in Simulated ARINC-653.
FGIT-FGCN (2)
Guy Martin Tchamgoue, In-Bon Kuh, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun
2010 — conf
Efficient Thread Labeling for Monitoring Programs with Nested Parallelism.
FGIT-FGCN (2)
Ok-Kyoon Ha, Sun-Sook Kim, Yong-Kee Jun
2009 B conf
A Tool for Detecting First Races in OpenMP Programs.
PaCT
Mun-Hye Kang, Ok-Kyoon Ha, Sang-Woo Jun, Yong-Kee Jun
2009 — conf
Empirical Comparison of Race Detection Tools for OpenMP Programs.
FGIT-GDC
Ok-Kyoon Ha, Young-Joo Kim, Mun-Hye Kang, Yong-Kee Jun
2007 B conf
Efficient Race Verification for Debugging Programs with OpenMP Directives.
PaCT
Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun