The SCEAS System
Navigation Menu

Search the dblp DataBase


Junghee Lim: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002