Travelled to:1 × Belgium
1 × New Zealand
1 × USA
Collaborated with:B.A.Sanders T.Yavuz-Kahveci
Talks about:model (5) memori (3) relax (2) check (2) race (2) data (2) use (2) heurist (1) reason (1) precis (1)
Person: KyungHee Kim
DBLP: Kim:KyungHee
Contributed to:
20102009
2008Wrote 3 papers:
- ASE-2010-KimYS #debugging #memory management #model checking #named #using
- JRF-E: using model checking to give advice on eliminating memory model-related bugs (KK, TYK, BAS), pp. 215–224.
- ASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #precise #using
- Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.
- PPoPP-2008-SandersK #memory management #modelling #reasoning
- Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.