|
Search the dblp DataBase
Junghee Lim:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
A Next-Generation Platform for Analyzing Executables. [Citation Graph (0, 0)][DBLP] APLAS, 2005, pp:212-229 [Conf]
- 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++. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:158-163 [Conf]
- Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min
Compiler-assisted demand paging for embedded systems with flash memory. [Citation Graph (0, 0)][DBLP] EMSOFT, 2004, pp:114-124 [Conf]
- Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
Path Optimization in Programs and Its Application to Debugging. [Citation Graph (0, 0)][DBLP] ESOP, 2006, pp:246-263 [Conf]
- Thomas W. Reps, Gogul Balakrishnan, Junghee Lim
Intermediate-representation recovery from low-level code. [Citation Graph (0, 0)][DBLP] PEPM, 2006, pp:100-111 [Conf]
- Junghee Lim, Thomas W. Reps, Ben Liblit
Extracting Output Formats from Executables. [Citation Graph (0, 0)][DBLP] WCRE, 2006, pp:167-178 [Conf]
Directed Proof Generation for Machine Code. [Citation Graph (, )][DBLP]
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. [Citation Graph (, )][DBLP]
A System for Generating Static Analyzers for Machine Instructions. [Citation Graph (, )][DBLP]
Symbolic Analysis via Semantic Reinterpretation. [Citation Graph (, )][DBLP]
Search in 0.027secs, Finished in 0.028secs
|