Junghee Lim - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2015

PostHat and All That: Automating Abstract InterpretationAditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps. ENTCS, 311:15-32, 2015. [doi]

2014

Abstract Domains of Affine RelationsMatt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps. TOPLAS, 36(4):11, 2014. [doi]

2013

ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented ApproachWei Zhang 0022, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps. TOSEM, 22(2):10, 2013. [doi]

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code AnalysisJunghee Lim, Thomas W. Reps. TOPLAS, 35(1):4, 2013. [doi]

2011

2010

There s Plenty of Room at the Bottom: Analyzing and Verifying Machine CodeThomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal. cav 2010: 41-56 [doi]

Directed Proof Generation for Machine CodeAditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps. cav 2010: 288-305 [doi]

2009

Symbolic Analysis via Semantic ReinterpretationJunghee Lim, Akash Lal, Thomas W. Reps. spin 2009: 148-168 [doi]

2008

A System for Generating Static Analyzers for Machine InstructionsJunghee Lim, Thomas W. Reps. CC 2008: 36-52 [doi]

2007

A Next-Generation Platform for Analyzing ExecutablesThomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum. In Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang, editors, Malware Detection. Volume 27 of Advances in Information Security, pages 43-61, Springer, 2007. [doi]

2006

Path Optimization in Programs and Its Application to DebuggingAkash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit. ESOP 2006: 246-263 [doi]

Extracting Output Formats from ExecutablesJunghee Lim, Thomas W. Reps, Ben Liblit. WCRE 2006: 167-178 [doi]

Intermediate-representation recovery from low-level codeThomas W. Reps, Gogul Balakrishnan, Junghee Lim. PEPM 2006: 100-111 [doi]

2005

2004

Compiler-assisted demand paging for embedded systems with flash memoryChanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min. emsoft 2004: 114-124 [doi]

Sign in or sign up to see more results.

runs on WebDSL