KyungHee Kim

According to our database, KyungHee Kim authored at least 3 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

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

2009

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.

KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders

Proceedings of the ASE 2009, 2009

2008

Assertional reasoning about data races in relaxed memory models.

Beverly A. Sanders, KyungHee Kim

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008