Assertional reasoning about data races in relaxed memory models. - Beverly A. Sanders; KyungHee Kim (PPoPP, 2008)

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. - KyungHee Kim; Tuba Yavuz-Kahveci; Beverly A. Sanders (ASE, 2009)

JRF-E: using model checking to give advice on eliminating memory model-related bugs. - KyungHee Kim; Tuba Yavuz-Kahveci; Beverly A. Sanders (Autom. Softw. Eng., 2012)