Junghee Lim

20 papers A* 5A 1B 3C 1Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Disassembly as Weighted Interval Scheduling with Learned Weights.
SP
Antonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt
2025 J jnl
Disassembly as Weighted Interval Scheduling with Learned Weights.
CoRR
Antonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt
2014 J jnl
Abstract Domains of Affine Relations.
ACM Trans. Program. Lang. Syst.
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
2013 J jnl
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach.
ACM Trans. Softw. Eng. Methodol.
Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps
2013 — conf
PostHat and All That: Automating Abstract Interpretation.
TAPAS@SAS
Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps
2013 J jnl
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.
ACM Trans. Program. Lang. Syst.
Junghee Lim, Thomas W. Reps
2011 B conf
Abstract Domains of Affine Relations.
SAS
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
2011 A* conf
ConSeq: detecting concurrency bugs through sequential errors.
ASPLOS
Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps
2011 J jnl
Symbolic analysis via semantic reinterpretation.
Int. J. Softw. Tools Technol. Transf.
Junghee Lim, Akash Lal, Thomas W. Reps
2010 A* conf
Directed Proof Generation for Machine Code.
CAV
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps
2010 A* conf
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
CAV
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal
2009 — conf
Symbolic Analysis via Semantic Reinterpretation.
SPIN
Junghee Lim, Akash Lal, Thomas W. Reps
2008 B conf
A System for Generating Static Analyzers for Machine Instructions.
CC
Junghee Lim, Thomas W. Reps
2007 — ch.
A Next-Generation Platform for Analyzing Executables.
Malware Detection
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
2006 — conf
Extracting Output Formats from Executables.
WCRE
Junghee Lim, Thomas W. Reps, Ben Liblit
2006 C conf
Intermediate-representation recovery from low-level code.
PEPM
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim
2006 A conf
Path Optimization in Programs and Its Application to Debugging.
ESOP
Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
2005 B conf
A Next-Generation Platform for Analyzing Executables.
APLAS
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
2005 A* conf
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
CAV
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
2004 Misc conf
Compiler-assisted demand paging for embedded systems with flash memory.
EMSOFT
Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min