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 × Austria
1 × Hungary
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:
T.W.Reps A.Lal G.Balakrishnan B.Liblit M.Elder T.Andersen A.V.Thakur M.Polishchuk T.Sharma W.Zhang R.Olichandran J.Scherpelz G.Jin S.Lu A.Burton E.Driscoll N.Kidd D.Melski R.Gruian S.H.Yong C.Chen T.Teitelbaum
Talks about:
code (4) machin (3) generat (2) execut (2) analyz (2) represent (1) intermedi (1) sequenti (1) recoveri (1) instruct (1)

Person: Junghee Lim

DBLP DBLP: Lim:Junghee

Contributed to:

ASPLOS 20112011
SAS 20112011
CAV 20102010
CC 20082008
ESOP 20062006
PEPM 20062006
WCRE 20062006
CAV 20052005

Wrote 9 papers:

ASPLOS-2011-ZhangLOSJLR #concurrent #debugging #detection #fault #named
ConSeq: detecting concurrency bugs through sequential errors (WZ, JL, RO, JS, GJ, SL, TWR), pp. 251–264.
SAS-2011-ElderLSAR #abstract domain
Abstract Domains of Affine Relations (ME, JL, TS, TA, TWR), pp. 198–215.
CAV-2010-RepsLTBL #verification
There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code (TWR, JL, AVT, GB, AL), pp. 41–56.
CAV-2010-ThakurLLBDEAR #generative #proving
Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.
CC-2008-LimR #bytecode #generative
A System for Generating Static Analyzers for Machine Instructions (JL, TWR), pp. 36–52.
ESOP-2006-LalLPL #debugging #optimisation #source code
Path Optimization in Programs and Its Application to Debugging (AL, JL, MP, BL), pp. 246–263.
PEPM-2006-RepsBL #low level
Intermediate-representation recovery from low-level code (TWR, GB, JL), pp. 100–111.
WCRE-2006-LimRL #bytecode
Extracting Output Formats from Executables (JL, TWR, BL), pp. 167–178.
CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.

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.