Park Mi-Young

Race State Transition for Detecting Unaffected Race Conditions in Message-Passing Programs

Jun Yong-Kee, Kang Hyun-Syug, Park Mi-Young, 2006 .

Scalable Race Visualization for Debugging Message-Passing Programs

Jun Yong-Kee, Park Mi-Young, 2005 .