Travelled to:1 × India
1 × Sweden
1 × Turkey
1 × USA
Collaborated with:X.Zhang K.H.Lee W.N.Sumner D.Xu Y.Kwon D.M.Perry X.Z.0001 R.Samanta H.Agrawal P.L.0010 I.L.Kim G.Rodriguez-Rivera Kyungtae Kim Brendan Saltaformaggio
Talks about:execut (5) infrastructur (2) program (2) multipl (2) concurr (2) cluster (2) replay (2) assign (2) free (2) dual (2)
Person: Dohyeong Kim
DBLP: Kim:Dohyeong
Contributed to:
2015
2014
2014
2014
2016
20192016Wrote 7 papers:
- ASPLOS-2015-KimKSZX #comparison #execution #fine-grained #on the fly
- Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.
- ECOOP-2014-LeeKZ #concurrent #execution #multi
- Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores (KHL, DK, XZ), pp. 232–256.
- ICSE-2014-KimSZXA #component #functional #reuse #reverse engineering
- Reuse-oriented reverse engineering of functional components from x86 binaries (DK, WNS, XZ, DX, HA), pp. 1128–1139.
- PPoPP-2014-LeeKZ #concurrent #execution #multi
- Infrastructure-free logging and replay of concurrent execution on multiple cores (KHL, DK, XZ), pp. 371–372.
- OOPSLA-2016-KimK0KPZR #automation #fault #named #programming
- Apex: automatic programming assignment error explanation (DK, YK, PL0, ILK, DMP, XZ0, GRR), pp. 311–327.
- PLDI-2019-PerryKSZ #clustering #imperative #named #programming #semantics
- SemCluster: clustering of imperative programming assignments based on quantitative semantic features (DMP, DK, RS, XZ), pp. 860–873.
- ASPLOS-2016-KwonKSKSZX #execution #lightweight #named
- LDX: Causality Inference by Lightweight Dual Execution (YK, DK, WNS, KK, BS, XZ0, DX), pp. 503–515.