2015-08-25
org.kosen.entty.User@60e1ca1c
하옥균(jassmin)
경상대학교 고신뢰소프트웨어연구실은 소프트웨어의 신뢰성 향상을 위한 연구를 중심을 병렬처리 알고리즘 개발, 멀티스레드 프로그래밍을 위한 동시성 오류 탐지 기술 및 치유 기술 개발을 연구하고 있으며, 고신뢰 항공전자 소프트웨어 개발을 위한 연구활동을 병행하고 있습니다.
The GNU DS-Lab is interested in dynamically detecting and healing concurrency faults in the software on multi-cored systems, embedded systems, and distributed systems. The most notorious and mysterious concurrency faults include race conditions, atomicity violation, and deadlocks. The research should contain a wide range of topics on dynamic analysis, which includes program monitoring, logical time, global states, and program visualization. In some topics regarding logical time and detection protocols, DS-Lab has been internationally recognized as the state-of-the-arts.
The GNU DS-Lab is interested in dynamically detecting and healing concurrency faults in the software on multi-cored systems, embedded systems, and distributed systems. The most notorious and mysterious concurrency faults include race conditions, atomicity violation, and deadlocks. The research should contain a wide range of topics on dynamic analysis, which includes program monitoring, logical time, global states, and program visualization. In some topics regarding logical time and detection protocols, DS-Lab has been internationally recognized as the state-of-the-arts.
