Name(Korean) | 박미영 | |
---|---|---|
Name(English) | Mi-Young Park | |
park@race.gsnu.ac.kr | ||
Status | Ph.D | |
Graduate | 2005 | |
Graduation thesis | Detecting unaffected races for debugging message-passing programs | |
Affiliation | Yonsei Institute of Convergence Technology 연세대학교 미래융합기술연구소 |
|
SNS | homepage / linkedIn / ResearchGate / etc… |
* Park, M., N. C. T. Hai, Y. Jun, and H. Park, , "Visualization of Message Races in MPI Parallel Programs," IEEE 7th International Conference on Computer and I… |
* Kim, Y., M. Park, S. Park, and Y. Jun, "A Practical Tool for Detecting Races in OpenMP Programs," Proc. of 8th Int'l Conf. on Parallel Computing Technologies… | |
* Park, M., and Y. Jun, "Detecting Unaffected Race Conditions in Message-Passing Programs," Proc. of the 11th European PVM/MPI User's Group Meeting (EuroPVM/MP… | |
* Park, Mi-Young, and Yong-Kee Jun, "Detecting Unaffected Message Races in Parallel Programs," Proc. of the 1st Int'l Conf. on Grid and Pervasive Computing (GP… | |
* Park, S., M. Park, and Y. Jun, "A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs," Proc. of the Int'l Workshop on OpenMP Appl… | |
* Park, M., S. Shim, Y. Jun, and H. Park, "MPIRace-Check: Detection of Message Races in MPI Programs," Proc. of the 2nd Int'l Conf. on Grid and Pervasive Compu… |
* Kim, Y., M. Park, S. Lee, and Y. Jun, "Visual Race Detection for OpenMP Programs," Proc. of Int'l Conf. on Asian Language Processing and Information Technolo… | |
* Park, M., Y. Kim, M. Kang, and Y. Jun, "Improving On-the-fly Race Detection for Message-Passing Programs," Proc. of Int'l Conf. of Computational Methods in S… | |
* Park, M., S. Park, S. Bae, and Y. Jun, "Scalable Race Visualization for Debugging Message-Passing Programs," Proc. of Workshop on State-of-the-Art in Scienti… |
* 구금서, 박미영, 전용기, "생물정보 처리 프로그램의 테스팅을 위한 메시지 전달 패턴의 분석," 한국정보과학회 병렬처리시스템연구회, 14(2): 37-42, 한국정보과학회, 2003.11. * Koo, G., M. Park, and Y. Jun, "An Analysis of M… | |
* 박미영, 구금서, 전용기, "메시지전달 프로그램의 디버깅을 위한 메시지경합의 탐지," 한국멀티미디어학회지, 7(3):59-68, 한국멀티미디어학회, 9. 2003. publication domestic conference miyoung geumseo yongkee | |
* 박미영, 강문혜, 전용기, 박혁로, "메시지 전달 프로그램에서의 수행 중 경합탐지," 한국정보과학회 논문지:시스템 및 이론, 34(7):267~275, 한국정보과학회, 2007.8. * Park, M., M. Kang, Y. Jun, and H. Park, "On-the-fly… | |
* 박미영, 김영주, 김성대, 이승렬, 박소희, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합조건의 시각화," 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 47-56, 한국정보과학회, 2000. 9. * Park, M., Y. Kim, S. Kim, S. Lee, S. P… | |
* 박미영, 김영철, 전용기, "병렬 프로그램의 수행중 경합탐지를 위한 프로그램 재구성 도구," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 10: 153-161, 한국정보과학회, 1999. 9. * Park, M., Y. Kim and Y. Jun, "A Program Res… | |
* 박미영, 김영철, 박소희, 이승렬, 김영주, 전용기, "OpenMP 병렬 프로그램의 수행중 경합탐지를 위한 모니터링 기법," 전산연구, 14: 67-74, 경상대학교, 1999. 12. * Mi-Young Park, Young-Cheol Kim, So-Hee Park, Seun… | |
* 박미영, 김영철, 전용기, "수행중 경합 탐지를 위한 내포 병렬성을 가진 프로그램의 재구성," 한국정보과학회 영남지부 학술발표논문집, 7(1): 215-222, 한국정보과학회, 1999. 12. * Park, M., Y. Kim, and Y. Jun, "Restructuring… | |
* 박미영, 강현석, 전용기, "메시지전달 프로그램의 영향받지 않은 경합조건 탐지를 위한 경합상태 전이기법," 정보과학회논문지: 시스템 및 이론, 33(8): 495-504, 한국정보과학회, 2006. 8. * Park, M., H. Kang, and Y. Jun, "Race St… | |
* 김성대, 김영주, 박미영, 이승렬, 박소희, 전용기, "공유메모리 병렬프로그래밍을 위한 가상실험실," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 11(2): 8-17, 한국정보과학회, 2000. 9. * Kim, S., Y. Kim, M. Park, S. Lee, S. P… | |
* 박소희, 박미영, 김영주, 이승렬, 전용기, "OpenMP 병렬프로그램의 경합 탐지를 위한 스레드 기반의 BD 레이블링 기법," 병렬처리시스템 학술발표회 논문집, 11(1): 133-142, 한국정보과학회, 2000. 3. * Park, S., M. Park, Y. Kim, S… | |
* 박소희, 박미영, 김병철, 전용기, "병렬 프로그램의 효율적인 수행중 경합탐지를 위한 레이블링 기법," 한국정보과학회 영남지부 학술발표논문집, 9(1): 121-130, 한국정보과학회, 2001. 12. * Park, S., M. Park, B. Kim and Y. Jun, "… | |
* 박소희, 김영주, 박미영, 김성대, 이승렬, 전용기, "리눅스 클러스터 시스템을 위한 병렬프로그램의 메시지경합 탐지 도구," 한국정보처리학회 추계학술발표논문집, 7(2): 645-648, 한국정보처리학회, 2000. 10. * Park, S., Y. Kim, M. Park, S… | |
* 박소희, 김영주, 박미영, 이승렬, 전용기, "리눅스 클러스터 시스템을 위한 병렬 디버거 개발," 경상대학교 전산연구, 15: 37-46, 경상대학교, 2000. 12. * Park, S., Y. Kim, M. Park, S. Lee, and Y. Jun, "Developmen… | |
* 배수연, 박미영, 전용기, "병렬 프로그램의 메시지경합 탐지기법에 대한 시험도구," 한국정보과학회 춘계학술발표논문집, 29(1): 598-600, 한국정보과학회, 2002. 4 * Bae, S., M. Park, and Y. Jun "A Testbed for Message Ra… | |
* 배수연, 박미영, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합조건의 확장적 시각화," 한국정보과학회 추계학술발표논문집, 29(2): 313-315, 한국정보과학회, 2002. 10. * Bae, S., M. Park, and Y. Jun, "Scalable Race Vi… | |
* 이승렬, 박소희, 김영주, 박미영, 전용기, "다중스레드 자바 프로그램을 위한 경합탐지 도구의 분석," 경상대학교 전산연구, 14: 59-66, 경상대학교, 1999. 12. * Lee, S., S. Park, Y. Kim, M. Park, and Y. Jun, "An Anal… | |
* 이승렬, 김영주, 박미영, 박소희, 전용기, "다중스레드 자바 프로그램을 위한 디버깅 도구의 분석," 한국정보과학회 영남지부 학술발표논문집, 8(1): 105-109, 한국정보과학회, 2000. 12. * Lee, S., Y. Kim, M. Park, S. Park, and Y… | |
* 이승렬, 김영주, 박미영, 김성대, 박소희, 전용기, "경합탐지 알고리즘의 평가를 위한 커널 벤치마크 프로그램," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 37-46, 한국정보과학회, 2000. 9. * Lee, S., Y. Kim, M. Park, S. … | |
* 김영주, 박소희, 박미영, 이승렬, 전용기, "록킹을 가진 OpenMP 병렬프로그램의 경합탐지를 위한 확장적 감시기법 및 도구," 경상대학교 전산연구, 15: 7-16, 경상대학교, 2000. 12. * Kim, Y., S. Park, M. Park, S. Lee, and Y.… | |
* 김영주, 이승렬, 박미영, 김성대, 박소희, 전용기, "록킹을 가진 병렬프로그램의 경합탐지를 위한 확장적 감시 기법 ," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 11(2): 44-53, 한국정보과학회, 2000. 9. * Kim, Y., S. Lee, M. Park, … | |
* 강정혜, 박미영, 구금서, 전용기, "운영체제 행위의 이해를 위한 확장적 시각화 도구," 한국정보과학회 춘계학술발표논문집, 31(1): 172-174, 한국정보과학회, 2004. 4. * Kang, J., M. Park, G. Koo, and Y. Jun, "A Scalable… |