Junghee Lim

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Abstract Interpretation

Affine Invariant

Relevant Concepts

Negative Impact

Top Venues

ACM Trans. Program. Lang. Syst.

ACM Trans. Softw. Eng. Methodol.

Electron. Notes Theor. Comput. Sci.

Publications

Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps
PostHat and All That: Automating Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 311 (2015)
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
Abstract Domains of Affine Relations. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Junghee Lim, Thomas W. Reps
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. ACM Trans. Program. Lang. Syst. 35 (1) (2013)
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) (2013)
Junghee Lim, Akash Lal, Thomas W. Reps
Symbolic analysis via semantic reinterpretation. Int. J. Softw. Tools Technol. Transf. 13 (1) (2011)
Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps
ConSeq: detecting concurrency bugs through sequential errors. ASPLOS (2011)
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
Abstract Domains of Affine Relations. SAS (2011)
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)
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)
Junghee Lim, Akash Lal, Thomas W. Reps
Symbolic Analysis via Semantic Reinterpretation. SPIN (2009)
Junghee Lim, Thomas W. Reps
A System for Generating Static Analyzers for Machine Instructions. CC (2008)
Junghee Lim, Thomas W. Reps, Ben Liblit
Extracting Output Formats from Executables. WCRE (2006)
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim
Intermediate-representation recovery from low-level code. PEPM (2006)
Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
Path Optimization in Programs and Its Application to Debugging. ESOP (2006)
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)
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
A Next-Generation Platform for Analyzing Executables. APLAS (2005)
Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min
Compiler-assisted demand paging for embedded systems with flash memory. EMSOFT (2004)