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: Lim:Junghee
Contributed to:
2011
2011
2010
2008
2006
2006
20062005Wrote 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.