Get started
Author

Ok-Kyoon Ha

Observed names: Ok Kyoon Ha, Ok-Kyoon HA
ORCID: 0000-0002-6512-8502
Observed ORCID: 0000-0002-6512-8502
OpenAlex ID: A5017878694
On-the-fly detection of data races in OpenMP programs
2012 · Ok-Kyoon Ha, In-Bon Kuh, et al. · Parallel and Distributed Systems: Testing, Analysis, and Debugging · 30
Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems
2016 · Young-Joo Kim, Jong-Soo Seok, et al. · Journal of Sensors · 15
PDF
An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique
2015 · Ok-Kyoon Ha, Yong-Kee Jun · Scientific Programming · 12
PDF
Development of Effective Cattle Health Monitoring System based on Biosensors
2015 · Myeong-Chul Park, Ok-Kyoon Ha · Advanced science and technology letters · 11
On-the-fly healing of race conditions in ARINC-653 flight software
2010 · Ok-Kyoon Ha, Guy Martin Tchamgoue, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 11
A Tool for Detecting First Races in OpenMP Programs
2009 · Mun-Hye Kang, Ok-Kyoon Ha, et al. · Lecture notes in computer science · 9
Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers
2011 · Guy Martin Tchamgoue, Ok-Kyoon Ha, et al. · Communications in computer and information science · 8
Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism
2011 · Ok-Kyoon Ha, Yong-Kee Jun · Communications in computer and information science · 8
Design of cattle health monitoring system using wireless bio-sensor networks
2015 · Myeong-Chul Park, Hyon-Chel Jung, et al. · CRC Press eBooks · 5
Configuration Tool for ARINC 653 Operating Systems
2014 · Eu-Teum Choi, Ok-Kyoon Ha, et al. · International Journal of Multimedia and Ubiquitous Engineering · 5
Development of Livestock Monitoring Device based on Biosensors for Preventing Livestock Diseases
2016 · Myeong-Chul Park, Hyon-Chel Jung, et al. · Journal of the Korea Society of Computer and Information · 4
Message Races in Data Distribution Service Programs
2015 · Hyun-Ji Kim, Ok-Kyoon Ha, et al. · International Conference on Database Theory and Application (DTA) · 4
Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs
2012 · Ying Meng, Ok-Kyoon Ha, et al. · Lecture notes in computer science · 4
Empirical Comparison of Race Detection Tools for OpenMP Programs
2009 · Ok-Kyoon Ha, Young-Joo Kim, et al. · Communications in computer and information science · 4
Increasing GPU-Speedup of Volume Rendering for Images with High Complexity
2015 · Sang-Soo Jun, Ok-Kyoon Ha · International Conference on u- and e-Service, Science and Technology (UNESST) · 3
Case Study of Dynamic Detectors for Data Races
2013 · Ok-Kyoon Ha · IERI Procedia · 3
PDF
Visualizing concurrency faults in ARINC-653 real-time applications
2012 · G. M. Tchamgoue, Lin Gan, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 3
A Taxonomy of Concurrency Bugs in Event-Driven Programs
2011 · Guy Martin Tchamgoue, Ok-Kyoon Ha, et al. · Communications in computer and information science · 3
ConpathView: A Visualization Tool for Debugging Race Conditions in Event Synchronization of ARINC 653 Applications
2016 · Myeong-sin Kang, Mun-Hye Kang, et al. · International Journal of Software Engineering and Its Applications · 2
Software Tool for Integrating Configuration Data of ARINC 653 Operating Systems
2015 · Bong-Jun Paeng, Ok-Kyoon Ha, et al. · International Conference on Grid and Distributed Computing (GDC) · 2
Design of Conformance Testing Framework for IP-Based Wireless Sensor Networks
2015 · Young-Joo Kim, Sungmin Hong, et al. · 2
Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data
2014 · Myeong-Chul Park, Ok-Kyoon Ha, et al. · International Journal of Distributed Sensor Networks · 2
Effective Monitoring Memory Operations for Dynamic Race Detection through Hierarchical Filtering Method
2014 · Ok-Kyoon Ha, Yong-Kee Jun · International Journal of Multimedia and Ubiquitous Engineering · 2
PDF
Efficient Thread Labeling for Monitoring Programs with Nested Parallelism
2010 · Ok-Kyoon Ha, Sun-Sook Kim, et al. · Communications in computer and information science · 2
Efficient Race Verification for Debugging Programs with OpenMP Directives
2007 · Young-Joo Kim, Mun-Hye Kang, et al. · Lecture notes in computer science · 2
Works count: 64
Citation count: 163
H-index: 8
I10-index: 5
Year
Topic
Type