Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. Junghee Lim, Thomas W. Reps, Ben Liblit
   Extracting Output Formats from Executables. [Citation Graph (0, 0)][DBLP]
   WCRE, 2006, pp:167-178 [Conf]
   
7. 
   Directed Proof Generation for Machine Code. [Citation Graph (, )][DBLP]
   
   
8. 
   There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. [Citation Graph (, )][DBLP]
   
   
9. 
   A System for Generating Static Analyzers for Machine Instructions. [Citation Graph (, )][DBLP]
   
   
10. 
    Symbolic Analysis via Semantic Reinterpretation. [Citation Graph (, )][DBLP]