Ok-Kyoon Ha

Orcid: 0000-0002-6512-8502

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations.
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.
Sci. Program., 2019

2016
Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems.
J. Sensors, 2016

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

2014
Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data.
Int. J. Distributed Sens. Networks, 2014

An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks.
Int. J. Distributed Sens. Networks, 2014

2012
On-the-fly detection of data races in OpenMP programs.
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs.
Proceedings of the Future Generation Information Technology - 4th International Conference, 2012

2011
Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers.
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.
Proceedings of the Ubiquitous Computing and Multimedia Applications, 2011

A Taxonomy of Concurrency Bugs in Event-Driven Programs.
Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.
Proceedings of the Software Engineering, Business Continuity, and Education, 2011

2010
A Race Healing Framework in Simulated ARINC-653.
Proceedings of the Communication and Networking, 2010

Efficient Thread Labeling for Monitoring Programs with Nested Parallelism.
Proceedings of the Communication and Networking, 2010

2009
A Tool for Detecting First Races in OpenMP Programs.
Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

Empirical Comparison of Race Detection Tools for OpenMP Programs.
Proceedings of the Grid and Distributed Computing, 2009

2007
Efficient Race Verification for Debugging Programs with OpenMP Directives.
Proceedings of the Parallel Computing Technologies, 2007


  Loading...