하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 최적의 경합검증 도구," 한국정보과학회 추계학술발표 논문집, 34(2): 1-6, 한국정보과학회, 2007. 10.
English Title
Ha, O., M. Kang, Y. Kim and Y. Jun, "An Optimal Tool for Verifying Races in OpenMP Directive Programs
With No Interthread Synchronization," Proc. of the 34th KISS Fall Conference, 34(2): 1-6, KISS, Oct. 2007.
