Junghee Lim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SP | Disassembly as Weighted Interval Scheduling with Learned Weights. | Antonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt |
| 2011 | ASPLOS | ConSeq: detecting concurrency bugs through sequential errors. | Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps |
| 2011 | SAS | Abstract Domains of Affine Relations. | Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps |
| 2010 | CAV | There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. | Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal |
| 2010 | CAV | Directed Proof Generation for Machine Code. | Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps |
| 2008 | CC | A System for Generating Static Analyzers for Machine Instructions. | Junghee Lim, Thomas W. Reps |
| 2006 | ESOP | Path Optimization in Programs and Its Application to Debugging. | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
| 2006 | PEPM | Intermediate-representation recovery from low-level code. | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim |
| 2005 | APLAS | A Next-Generation Platform for Analyzing Executables. | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum |
| 2005 | CAV | Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. | Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum |
| 2004 | EMSOFT | Compiler-assisted demand paging for embedded systems with flash memory. | Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min |