Table of Contents

Ok-Kyoon Ha (하옥균)

Name(Korean) 하옥균  Ok-Kyoon Ha
Name(English) Ok-Kyoon Ha
Email hannuri2000@hanmail.net
Status Ph.D
Graduate 2012
Graduation thesis Hybrid On-the-fly Race Detection for Structured Fork-join Parallel Programs
Affiliation Kyungwoon University
경운대학교 항공소프트웨어공학과 교수
SNS homepage / linkedIn / ResearchGate / etc…

International Publication

SCI/SCIE Journal

* B.-J. Bae, Y.-J. Kim, Y.-K. Kim, O.-K. Ha, and Y.-K. Jun, “An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks,” International Journal…
* O.-K. Ha and Y.-K. Jun, "An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique", Scientific Programming, Vol. 2015, Arti…
* M.-C. Park, O.-K. Ha, S.-W. Ha, and Y.-K. Jun, “Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data,” Intern…

ACM/IEEE Conf.

* Chang-Hui Bae, Eu-Teum Choi, Yong-Kee Jun, Ok-Kyoon Ha, "Lightweight Method for On-the fly Detection of Multivariable Atomicity Violations", 7th Internatio…
* Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "Detecting Atomicity Races in ARINC 653 Applications,", In Proceedings of International Conference …
* Ha, O.-K., I.-B. Kuh, G. M. Tchamgoue, Y.-K. Jun, "On-the-fly Detection of Data Races in OpenMP Programs," In Proceedings of the 10th Workshop on Paralle…
* Sang-Soo Jun and Ok-Kyoon Ha, "Increasing GPU-Speedup of Volume Rendering for Image with High Complexity,", In Proceedings of International Conference on u- …
* Sang-Soo Jun and Ok-Kyoon Ha, "Increasing GPU-Speedup of Volume Rendering for Image with High Complexity,", In Proceedings of International Conference on u- …
* Sang-Soo Jun and Ok-Kyoon Ha, "Complexity Evaluation of CT-Images for GPU-Based Volume Rendering,", In Proceedings of International Conference on u- and e-Se…
* Kang, Myeong-Sin, Ok-Kyoon Ha and Yong-Kee Jun, "Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions,", In Proceedings …
* Hyun-Ji Kim, Ok-Kyoon Ha, Yong-Kee Jun and H.-D. Park, "Message Races in Data Distribution Service Programs,", In Proceedings of International Conference on …
* Young-Joo Kim, Sung-Min Hong and Ok-Kyoon Ha, "Design of Conformance Testing Framework for IP-Based Wireless Sensor Networks,", In Proceedings of Internation…
* Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "A Loop Filtering Technique for Reducing Time Overhead of Dynamic Data Race Detection,", In Proceedings of Interna…
* Bong-Jun Paeng, Ok-Kyoon Ha and Yong-Kee Jun, "Software Tool for Integrating Configuration Data of ARINC 653 Operating Systems,", In Proceedings of Internati…
* Guy Martin Tchamgoue, Lin Gan, Ok-Kyoon Ha, S.-W. Yang, and Yong-Kee Jun, "Visualizing Concurrency Faults in ARINC-653 Real-Time Applications", In Proceeding…

SCOPUS Journal

* Eu-Teum Choi, O.-K, Ha, and Y.-K. Jun "Configuration Tool for ARINC 653 Operating Systems" ", ICCA 2013, Jeju, Korea, November 27-29, 2013 * SCOPUS pub…
* E.-T. Choi, O.-K. Ha, and Y.-K. Jun, “Configuration Tool for ARINC 653 Operating Systems”, International Journa of Multimedia and Ubiquitous Engineering (IJM…
* Choi, Eu-Teum, Ok-Kyoon Ha, and Yong-Kee Jun, “AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications,” International Journal of Softwar…
* O.-K. Ha, E.-T. Choi, and Y.-K. Jun, “Design and Implementation of Software Configuration Tool for Integrated Modular Avionics,” Applied Mechanics and Materi…
* Ha, O.-K., and Y. Jun, "Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism" In Proceedings of the International Conf…
* Ok-Kyoon Ha, and Yong-Kee Jun, “Efficient Thread Labeling for On-the-fly Detection of Races in OpenMP programs”, Information, International Information Insti…
* Ha, O.-K. and Y.-K. Jun, “Effective Monitoring Memory Operations for Dynamic Race Detection through Hierarchical Filtering Method”, International Journa of M…
* Ha, O., S. Kim, Y. Jun, "Efficient Thread Labeling for Monitoring Programs with Nested Parallelism," In Proceedings of the International Conference on Future…
* Ha O., Y. Kim, M. Kang and Y. Jun, "Empirical Comparison of Data Race Detection Tools for OpenMP Programs.", Proceedings of International Conference on Grid …
* O. Ha, G. M. Tchamgoue, J. Suh, and Y. Jun, "On-the-fly Healing of Race Conditions in ARINC-653 Flight Software," In proceedings of Digital Avionics Systems …
* Myeong-Sin Kang , Ok-Kyoon Ha, and Yong-Kee Jun, "Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs", ICCA 2013, Jeju, Ko…
* M.-S. Kang, O.-K. Ha, and Y.-K. Jun, “Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs”, International Journal of Softwa…
* Kang, M., O. Ha, S. Jun, and Y. Jun, "A Tool for Detecting First Races in OpenMP Programs," Proceedings of 10th International Conference on Parallel Computin…
* Hyun-Ji Kim, Ok-Kyoon Ha, Yong-Kee Jun, and Hee-Dong Park, “Case Study on Message Races in Data Distribution Service Programs,” IInternational Journal of Sof…
* S. Kim, O. Ha, and Y. Jun, "Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism", In Proceedings of the 2nd Interna…
* Kim, S.-S, O.-K, Ha, and Y.-K. Jun, "Verification Environment of Race Conditions for Multi-core Architectures in Avionics", The 1st International Conferen…
* Kim, Y., M. Kang, O. Ha, and Y. Jun, "Efficient Race Verification for Debugging Programs with OpenMP Directives," Proc, of 10th Int'l Conf. on Parallel Compu…
* Kang, Myeong-Sin, M. Kang, Ok-Kyoon Ha, and Yong-Kee Jun, “ConpathView: A Visualization Tool for Debugging Race Conditions in Event Synchronization of ARINC …
* Y. Meng, I.-K. Kuh, O.-K. Ha, and Y.-K. Jun, “Dynamic Instrumentation for Determining Logical Concurrency Between Threads of OpenMP Programs,”Information, In…
* G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun "Dynamic Data Race Detection for Interrupt-Driven Programs", In Proceedings of the 1st International Conference …
* G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun, "An Efficient Labeling Scheme for Data Race Detection in Interrupt-Driven Programs", In Proceedings of the 1st …
* Tchamgoue, G.M., Ha, O.-K., Kim, K.-H., Jun, Y.-K.: A Taxonomy of Concurrency Bugs in Event-Driven Programs. In Proceedings of the ASEA 2011, CCIS 257, pp. 4…
* G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers", In Proceedings of the Wo…
* G. M. Tchamgoue, I.-B. Kuh, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Race Healing Framework in Simulated ARINC-653", Proceedings of the Int'l Conference on Fut…

Others Publication

* Eu-Teum Choi, Kun-Su Yoon, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Technique for Healing Data Races based on Software Transactional Memory,", Advanced …
* Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Dynamic Detector for Atomicity Races in ARINC-653 Applications,” In Proceedings of Inte…
* Ha, O., Y. Jun, "Monitoring of Programs with Nested Parallelism using Efficient Thread Labeling," International Journal fo u- and e- Service, Science and Tec…
* Hyang-Yeon Bae, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Dynamic Profiler for Monitoring Functions in Embedded Applications,", Advanced Science and Tech…
* Kim, S., O. Ha, and Y. Jun, "Parallel Programming for Multi-core Avionics" In Proceedings of the 2010 International Conference on Advanced Aircraft Techno…
* Hyun-Ji Kim, Byoung-Kwi Lee, Ok-Kyoon Ha, and Yong-Kee Jun, “Dynamic Monitoring Tool based on Vector Clocks for Multithread Programs,” In Proceedings of Inte…
* Myeong-Sin Kang, Bong-Jun Paeng, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Visualizing Event Synchronization for Race Conditions in ARINC-653 Applications,” …
* Young-Joo Kim, Jong-Soo Seok, YungJoon Jung, and Ok-Kyoon Ha, “Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems,” Jo…
* Kuh, In-Bon, Ok-Kyoon Ha, and Yong-Kee Jun, "Tracing Logical Concurrency for Dynamic Race Detection in OpenMP Programs," In Proceedings of the 1st Interna…
* G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Framework for On-the-fly Race Healing in ARINC-653 Applications", International Journal of Hybrid Inf…

Domestic Publication

* 이건표, 하옥균, 전용기, "소나 영상 시뮬레이션 위한 병렬처리 기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 39-40혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Lee, K.-P., O.-K. Ha, and Y.-K. Ju…
* 이동수, 하옥균, 전용기, "이미지 합성을 위한 현실성 향상 기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 37-38혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Lee, D.-S., O.-K. Ha, and Y.-K. Jun,…
* 강명신, 팽봉준, 하옥균, 전용기, "ARING 653 프로그램의 경합조건 디버깅을 위한 이벤트 동기화의 시각화", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.1~4, 제주, 2014. * Kang, M.-S., B.-J. Paeng,…
* 강명신, 구인본, 하옥균, 전용기, "동적 자료경합 탐지를 위한 메모리 접근사건의 효율적인 이진코드 감시 기법", 2013 한국컴퓨터종합학술대회 논문집, 40(1):106-108, 한국정보과학회, 2013. 06 * Kang,M., I.,Kuh, O.,Ha, and Y., J…
* 박명철, 정현철, 하옥균 "가축 질병 예방을 위한 가축 생체정보 모니터링 장치의 개발", 한국컴퓨터정보학회 논문지 제21권 제10호(통권 제151호), pp. 91-98, 한국컴퓨터정보학회, 2016. 10. * Park, M.-C., H. -C. Jung, and O.-K. …
* 정민섭, 김영주, 하옥균, 전용기, “내부적 비결정성을 가진 공유 메모리 프로그램의 잠재적 경합 탐지,” 한국정보처리학회 춘계학술발표 논문집, 15(1): 553-556, 한국정보처리학회, 2008. 5. * Jung, M., Y. Kim, O. Ha, and Y. Jun, “…
* 강민우, 김정민, 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 경합을 효과적으로 탐지하는 도구," 정보통신분야학회 합동학술대회 논문집, 2(1): 42-46, 2008. 11. * Kang, M., J. Kim, O. Ha, M. Kang, and Y. Jun, "An …
* Bong-Jun Paeng (팽봉준),Se-Won Park (박세원), In-Bon Kuh (구인본), Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시도구", 정보과학회논문지, 42(2): pp.…
* 팽봉준, 김현지, 박세원, 하옥균, 전용기, "멀티스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구", 한국정보과학회 2014 한국컴퓨터종합학술대회 논문집, pp. 1-3, 한국정보과학회, 부산, 2014. * Paeng, B.-J., H.-J. Kim, S.-W…
* 김선숙, 하옥균, 전용기, "항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경", 2013 한국컴퓨터종합학술대회 논문집,40(1):100-102, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "Verification Environm…
* 김선숙, 구인본, 하옥균, 전용기 "ARINC-653 항공 소프트웨어의 경합 조건을 치유하기 위한 자동 록 생성기" 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 9-13, 제주칼호텔, 대한임베디드공학회, 2010. 11. * Kim. S, I. Kuh, O.…
* 박세원, 하옥균 "병렬 프로그램의 동적 분석을 위한 효율적인 감시 필터링 기술 ", 2016년 한국컴퓨터정보학회 동계학술대회 논문집 제24권 제1호, pp. 9-10, 한국컴퓨터정보학회, 2016. 01 * Park, S.-W., and O.-K. Ha, “An Efficie…
* 하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 최적의 경합검증 도구," 한국정보과학회 추계학술발표 논문집, 34(2): 1-6, 한국정보과학회, 2007. 10. * Ha, O., M. Kang, Y. Kim and Y. Jun…
* 하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 효율적인 경합검증 도구," 정보과학회논문지: 컴퓨팅의 실체, 14(3): 301-305, 한국정보과학회, 2008.5. * Ha, O., M. Kang, Y. Kim, and Y. …
* 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 데이터 경합 탐지를 위한 Sun Thread Analyzer의 실험적 분석," 정보통신분야학회 합동학술대회 논문집, 2(1): 38-41, 2008. 11. * Ha, O., M. Kang, Y. Jun, "An Empiric…
* 하옥균, 강문혜, 전용기, “OpenMP 프로그램을 위한 경합탐지 도구의 실험적 비교와 분석,” 한국정보기술학회논문지, 7(4): pp. 24-32 , 한국정보기술학회, 2009.8. * Ha, O., M. Kang, and Y. Jun, “An Empirical Compari…
* 하옥균, 김선숙, 백민정, 이보람, 김경훈, 전용기, “Zigbee 센서 네트워크 기반의 선박 충돌회피 테스트베드의 설계와 구현,” 대한임베디드공학회 추계학술발표논문집, pp. 524-527, 대한임베디드공학회, 2008. 11. * Ha, O., S. Kim, M. Baek,…
* 하옥균, 김선숙, 전용기, "OpenMP 프로그램을 위한 효율적 병행성 정보의 생성기법", 2010 한국컴퓨터종합학술대회 논문집, 37(1):534-539, 한국정보과학회, 2011. 7. * Ha, O., S. Kim, and Y. Jun, "An Efficient Schem…
* Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "멀티 스레드 프로그램을 위한 동적 자료경합 탐지 기술 현황", 정보과학회지, 33(12): pp. 45-51 , 한국정보과학회, 2015.12. * Ha, O.-K., and Y. Jun, “A Surve…
* 최으뜸, 박세원, 하옥균, 전용기, "ARINC-653 응용 프로그램에서의 원자성 결합을 위한 동적 탐지 도구", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.40~43, 제주, 2014. * Choi, E.-T., S.-W. Park,…
* 최으뜸, 하옥균, 전용기 "소프트웨어 트랜잭셔널 메모리를 이용한 자료경합 치유 기술 설계", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 3-4, 한국컴퓨터정보학회, 원주, 2016. 07 * Choi, E.-T., O.-K. Ha, and Y.-K. Jun, …
* 전정수, 하옥균, 김기일, 전용기, "터치스크린을 위한 Viewport 기반의 다기능 시연기의 개발", 한국정보기술학회 IT 융합기술 워크숍 및 하계학술대회 논문집, C-14: 52, 271-276, 한국정보기술학회, 2009. 6. * Jun, J., O. Ha, K. Kim…
* 박주혁, 하옥균, 전용기, "실시간 객체인식을 위한 이미지 처리기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 35-36혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Park, J.-H., O.-K. Ha, and Y.-K. Ju…
* 배향연, 하옥균, 강문혜, 전용기 "임베디드 어플리케이션을 위한 수행시간 분석 도구의 개발", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 5-6, 한국컴퓨터정보학회, 원주, 2016. 07 * Bae, H.-Y., O.-K. Ha, M.-H. Kang, and…