Junghee Lim

According to our database, Junghee Lim authored at least 17 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Disassembly as Weighted Interval Scheduling with Learned Weights.

Antonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2013

ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach.

Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps

ACM Trans. Softw. Eng. Methodol., 2013

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.

Junghee Lim, Thomas W. Reps

ACM Trans. Program. Lang. Syst., 2013

PostHat and All That: Automating Abstract Interpretation.

Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps

Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 2013

2011

Abstract Domains of Affine Relations.

Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps

Proceedings of the Static Analysis - 18th International Symposium, 2011

ConSeq: detecting concurrency bugs through sequential errors.

Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Directed Proof Generation for Machine Code.

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

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

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Symbolic Analysis via Semantic Reinterpretation.

Junghee Lim, Akash Lal, Thomas W. Reps

Proceedings of the Model Checking Software, 2009

2008

A System for Generating Static Analyzers for Machine Instructions.

Junghee Lim, Thomas W. Reps

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

A Next-Generation Platform for Analyzing Executables.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum

Proceedings of the Malware Detection, 2007

2006

Extracting Output Formats from Executables.

Junghee Lim, Thomas W. Reps, Ben Liblit

Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Intermediate-representation recovery from low-level code.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Path Optimization in Programs and Its Application to Debugging.

Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit

Proceedings of the Programming Languages and Systems, 2006

2005

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Next-Generation Platform for Analyzing Executables.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Compiler-assisted demand paging for embedded systems with flash memory.

Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min

Proceedings of the EMSOFT 2004, 2004