KyungHee Kim

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Temporal Properties

Top Venues

Autom. Softw. Eng.

Publications

KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
JRF-E: using model checking to give advice on eliminating memory model-related bugs. Autom. Softw. Eng. 19 (4) (2012)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
JRF-E: using model checking to give advice on eliminating memory model-related bugs. ASE (2010)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. ASE (2009)
Beverly A. Sanders, KyungHee Kim
Assertional reasoning about data races in relaxed memory models. PPOPP (2008)