BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kim:Dohyeong

Contributed to:

ASPLOS 20152015
ECOOP 20142014
ICSE 20142014
PPoPP 20142014
OOPSLA 20162016
PLDI 20192019
ASPLOS 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.