Ok-Kyoon Ha

According to our database, Ok-Kyoon Ha authored at least 17 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations.

Chang-Hui Bae, Euteum Choi, Yong-Kee Jun, Ok-Kyoon Ha

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2019

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

2016

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

2015

An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique.

Ok-Kyoon Ha, Yong-Kee Jun

Sci. Program., 2015

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 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

2012

On-the-fly detection of data races in OpenMP programs.

Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs.

Ying Meng, Ok-Kyoon Ha, Yong-Kee Jun

Proceedings of the Future Generation Information Technology - 4th International Conference, 2012

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

Proceedings of the Ubiquitous Computing and Multimedia Applications, 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

Proceedings of the Ubiquitous Computing and Multimedia Applications, 2011

A Taxonomy of Concurrency Bugs in Event-Driven Programs.

Guy Martin Tchamgoue, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.

Ok-Kyoon Ha, Yong-Kee Jun

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

2010

A Race Healing Framework in Simulated ARINC-653.

Guy Martin Tchamgoue, In-Bon Kuh, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun

Proceedings of the Communication and Networking, 2010

Efficient Thread Labeling for Monitoring Programs with Nested Parallelism.

Ok-Kyoon Ha, Sun-Sook Kim, Yong-Kee Jun

Proceedings of the Communication and Networking, 2010

2009

A Tool for Detecting First Races in OpenMP Programs.

Mun-Hye Kang, Ok-Kyoon Ha, Sang-Woo Jun, Yong-Kee Jun

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

Empirical Comparison of Race Detection Tools for OpenMP Programs.

Ok-Kyoon Ha, Young-Joo Kim, Mun-Hye Kang, Yong-Kee Jun

Proceedings of the Grid and Distributed Computing, 2009

2007

Efficient Race Verification for Debugging Programs with OpenMP Directives.

Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun

Proceedings of the Parallel Computing Technologies, 2007