Compiler-assisted demand paging for embedded systems with flash memory. - Chanik Park; Junghee Lim; Kiwon Kwon; Jaejin Lee; Sang Lyul Min (EMSOFT, 2004)

A Next-Generation Platform for Analyzing Executables. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim; Tim Teitelbaum (APLAS, 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 (CAV, 2005)

Path Optimization in Programs and Its Application to Debugging. - Akash Lal; Junghee Lim; Marina Polishchuk; Ben Liblit (ESOP, 2006)

Intermediate-representation recovery from low-level code. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim (PEPM, 2006)

Extracting Output Formats from Executables. - Junghee Lim; Thomas W. Reps; Ben Liblit (WCRE, 2006)

A Next-Generation Platform for Analyzing Executables. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim; Tim Teitelbaum (Malware Detection, 2007)

A System for Generating Static Analyzers for Machine Instructions. - Junghee Lim; Thomas W. Reps (CC, 2008)

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 (CAV, 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 (CAV, 2010)

ConSeq: detecting concurrency bugs through sequential errors. - Wei Zhang 022; Junghee Lim; Ramya Olichandran; Joel Scherpelz; Guoliang Jin; Shan Lu 001; Thomas W. Reps (ASPLOS, 2011)

Symbolic analysis via semantic reinterpretation. - Junghee Lim; Akash Lal; Thomas W. Reps (Int. J. Softw. Tools Technol. Transf., 2011)

PostHat and All That: Automating Abstract Interpretation. - Aditya V. Thakur; Akash Lal; Junghee Lim; Thomas W. Reps (TAPAS@SAS, 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)

ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. - Wei Zhang 022; Chong Sun; Junghee Lim; Shan Lu 001; Thomas W. Reps (ACM Trans. Softw. Eng. Methodol., 2013)

Abstract Domains of Affine Relations. - Matt Elder; Junghee Lim; Tushar Sharma 003; Tycho Andersen; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2014)

Disassembly as Weighted Interval Scheduling with Learned Weights. - Antonio Flores-Montoya; Junghee Lim; Adam Seitz; Akshay Sood; Edward Raff; James Holt (SP, 2025)