- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j2 |      | Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps: ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. ACM Trans. Softw. Eng. Methodol. 22(2): 10 (2013) |
| 2011 | ||
| j1 | | Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic analysis via semantic reinterpretation. STTT 13(1): 61-87 (2011) |
| c12 | | Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps: ConSeq: detecting concurrency bugs through sequential errors. ASPLOS 2011: 251-264 |
| c11 | | Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps: Abstract Domains of Affine Relations. SAS 2011: 198-215 |
| 2010 | ||
| c10 | | Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal: There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. CAV 2010: 41-56 |
| c9 | | Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps: Directed Proof Generation for Machine Code. CAV 2010: 288-305 |
| 2009 | ||
| c8 | | Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic Analysis via Semantic Reinterpretation. SPIN 2009: 148-168 |
| 2008 | ||
| c7 | | Junghee Lim, Thomas W. Reps: A System for Generating Static Analyzers for Machine Instructions. CC 2008: 36-52 |
| 2007 | ||
| p1 | | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. Malware Detection 2007: 43-61 |
| 2006 | ||
| c6 | | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit: Path Optimization in Programs and Its Application to Debugging. ESOP 2006: 246-263 |
| c5 | | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim: Intermediate-representation recovery from low-level code. PEPM 2006: 100-111 |
| c4 | | Junghee Lim, Thomas W. Reps, Ben Liblit: Extracting Output Formats from Executables. WCRE 2006: 167-178 |
| 2005 | ||
| c3 | | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229 |
| c2 | | 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 | ||
| c1 | | 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 |
Colors in the list of coauthors
Last update Wed May 22 02:15:17 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page