Login / Signup
Ok-Kyoon Ha
ORCID
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 4
Top Topics
Object Recognition
Synthetic Datasets
Parallel Processing
Sonar Images
Top Venues
Int. J. Distributed Sens. Networks
Sci. Program.
ICSTW
J. Sensors
</>
Publications
</>
Chang-Hui Bae
,
Euteum Choi
,
Yong-Kee Jun
,
Ok-Kyoon Ha
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations.
ICSTW
(2023)
Ok-Kyoon Ha
,
Keonpyo Lee
,
Wan-Jin Kim
,
Kun Su Yoon
Effective Parallelization Method for Object Recognition in 2D Sonar Images Based on Task Partitioning.
Sci. Program.
2019 (2019)
Young-Joo Kim
,
Jong-Soo Seok
,
Yung-Joon Jung
,
Ok-Kyoon Ha
Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems.
J. Sensors
2016 (2016)
Ok-Kyoon Ha
,
Yong-Kee Jun
An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique.
Sci. Program.
2015 (2015)
Myeong-Chul Park
,
Ok-Kyoon Ha
,
Seok-Wun Ha
,
Yong-Kee Jun
Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data.
Int. J. Distributed Sens. Networks
10 (2014)
Byoung-Jin Bae
,
Young-Joo Kim
,
Young-Kuk Kim
,
Ok-Kyoon Ha
,
Yong-Kee Jun
An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks.
Int. J. Distributed Sens. Networks
10 (2014)
Ok-Kyoon Ha
,
In-Bon Kuh
,
Guy Martin Tchamgoue
,
Yong-Kee Jun
On-the-fly detection of data races in OpenMP programs.
PADTAD
(2012)
Ying Meng
,
Ok-Kyoon Ha
,
Yong-Kee Jun
Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs.
FGIT
(2012)
Ok-Kyoon Ha
,
Yong-Kee Jun
Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.
FGIT-ASEA/DRBC/EL
(2011)
Guy Martin Tchamgoue
,
Ok-Kyoon Ha
,
Kyong Hoon Kim
,
Yong-Kee Jun
A Taxonomy of Concurrency Bugs in Event-Driven Programs.
FGIT-ASEA/DRBC/EL
(2011)
Guy Martin Tchamgoue
,
Ok-Kyoon Ha
,
Kyong Hoon Kim
,
Yong-Kee Jun
Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers.
UCMA (2)
(2011)
Sun-Sook Kim
,
Ok-Kyoon Ha
,
Yong-Kee Jun
Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.
UCMA (2)
(2011)
Ok-Kyoon Ha
,
Sun-Sook Kim
,
Yong-Kee Jun
Efficient Thread Labeling for Monitoring Programs with Nested Parallelism.
FGIT-FGCN (2)
(2010)
Guy Martin Tchamgoue
,
In-Bon Kuh
,
Ok-Kyoon Ha
,
Kyong Hoon Kim
,
Yong-Kee Jun
A Race Healing Framework in Simulated ARINC-653.
FGIT-FGCN (2)
(2010)
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)