According to our database1, KyungHee Kim authored at least 3 papers between 2008 and 2012.
Legend:Book In proceedings Article PhD thesis Other
JRF-E: using model checking to give advice on eliminating memory model-related bugs.
Autom. Softw. Eng., 2012
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.
Proceedings of the ASE 2009, 2009
Assertional reasoning about data races in relaxed memory models.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008