| 2008 |
|---|
| 7 | EE | Junghee Lim,
Thomas W. Reps:
A System for Generating Static Analyzers for Machine Instructions.
CC 2008: 36-52 |
| 2006 |
|---|
| 6 | EE | Akash Lal,
Junghee Lim,
Marina Polishchuk,
Ben Liblit:
Path Optimization in Programs and Its Application to Debugging.
ESOP 2006: 246-263 |
| 5 | EE | Thomas W. Reps,
Gogul Balakrishnan,
Junghee Lim:
Intermediate-representation recovery from low-level code.
PEPM 2006: 100-111 |
| 4 | EE | Junghee Lim,
Thomas W. Reps,
Ben Liblit:
Extracting Output Formats from Executables.
WCRE 2006: 167-178 |
| 2005 |
|---|
| 3 | EE | Thomas W. Reps,
Gogul Balakrishnan,
Junghee Lim,
Tim Teitelbaum:
A Next-Generation Platform for Analyzing Executables.
APLAS 2005: 212-229 |
| 2 | EE | Gogul Balakrishnan,
Thomas W. Reps,
Nicholas Kidd,
Akash Lal,
Junghee Lim,
David Melski,
Radu Gruian,
Suan Hsi Yong,
Chi-Hua Chen,
Tim Teitelbaum:
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
CAV 2005: 158-163 |
| 2004 |
|---|
| 1 | EE | Chanik Park,
Junghee Lim,
Kiwon Kwon,
Jaejin Lee,
Sang Lyul Min:
Compiler-assisted demand paging for embedded systems with flash memory.
EMSOFT 2004: 114-124 |
