Junghee Lim

According to our database1, Junghee Lim
  • authored at least 18 papers between 2004 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
PostHat and All That: Automating Abstract Interpretation.
Electr. Notes Theor. Comput. Sci., 2015

2014
Abstract Domains of Affine Relations.
ACM Trans. Program. Lang. Syst., 2014

2013
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach.
ACM Trans. Softw. Eng. Methodol., 2013

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.
ACM Trans. Program. Lang. Syst., 2013

2011
Symbolic analysis via semantic reinterpretation.
STTT, 2011

Abstract Domains of Affine Relations.
Proceedings of the Static Analysis - 18th International Symposium, 2011

ConSeq: detecting concurrency bugs through sequential errors.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Directed Proof Generation for Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Symbolic Analysis via Semantic Reinterpretation.
Proceedings of the Model Checking Software, 2009

2008
A System for Generating Static Analyzers for Machine Instructions.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
A Next-Generation Platform for Analyzing Executables.
Proceedings of the Malware Detection, 2007

2006
Extracting Output Formats from Executables.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Intermediate-representation recovery from low-level code.
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.
Proceedings of the Programming Languages and Systems, 2006

2005
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Next-Generation Platform for Analyzing Executables.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Compiler-assisted demand paging for embedded systems with flash memory.
Proceedings of the EMSOFT 2004, 2004


  Loading...