Follow
Junghee Lim
Junghee Lim
Software Engineer, GrammaTech
Verified email at grammatech.com - Homepage
Title
Cited by
Cited by
Year
ConSeq: detecting concurrency bugs through sequential errors
W Zhang, J Lim, R Olichandran, J Scherpelz, G Jin, S Lu, T Reps
ACM SIGARCH Computer Architecture News 39 (1), 251-264, 2011
1662011
Compiler-assisted demand paging for embedded systems with flash memory
C Park, J Lim, K Kwon, J Lee, SL Min
Proceedings of the 4th ACM international conference on Embedded software …, 2004
982004
Intermediate-representation recovery from low-level code
T Reps, G Balakrishnan, J Lim
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
922006
Extracting output formats from executables
J Lim, T Reps, B Liblit
2006 13th Working Conference on Reverse Engineering, 167-178, 2006
902006
Directed proof generation for machine code
A Thakur, J Lim, A Lal, A Burton, E Driscoll, M Elder, T Andersen, T Reps
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
782010
Model checking x86 executables with CodeSurfer/x86 and WPDS++
G Balakrishnan, T Reps, N Kidd, A Lal, J Lim, D Melski, R Gruian, S Yong, ...
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
652005
A system for generating static analyzers for machine instructions
J Lim, T Reps
International Conference on Compiler Construction, 36-52, 2008
552008
TSL: A system for generating abstract interpreters and its application to machine-code analysis
J Lim, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (1), 1-59, 2013
522013
A next-generation platform for analyzing executables
T Reps, G Balakrishnan, J Lim, T Teitelbaum
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
522005
Abstract domains of affine relations
M Elder, J Lim, T Sharma, T Andersen, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 1-73, 2014
502014
There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code: (Invited Tutorial)
T Reps, J Lim, A Thakur, G Balakrishnan, A Lal
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
402010
PostHat and all that: Automating abstract interpretation
A Thakur, A Lal, J Lim, T Reps
Electronic Notes in Theoretical Computer Science 311, 15-32, 2015
312015
Symbolic analysis via semantic reinterpretation
J Lim, A Lal, T Reps
International SPIN Workshop on Model Checking of Software, 148-168, 2009
272009
Path optimization in programs and its application to debugging
A Lal, J Lim, M Polishchuk, B Liblit
Programming Languages and Systems: 15th European Symposium on Programming …, 2006
272006
Conmem: Detecting crash-triggering concurrency bugs through an effect-oriented approach
W Zhang, C Sun, J Lim, S Lu, T Reps
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (2), 1-33, 2013
222013
PostHat and all that: Attaining most-precise inductive invariants
A Thakur, A Lal, J Lim, T Reps
TR-1790, Comp. Sci. Dept., Univ. of Wisconsin, Madison, WI, 2013
102013
Transformer Specification Language: A system for generating analyzers and its applications
J Lim
University of Wisconsin--Madison, 2011
62011
BTRACE: Path optimization for debugging
A Lal, J Lim, M Polishchuk, B Liblit
University of Wisconsin-Madison Department of Computer Sciences, 2005
52005
McDash: Refinement-based property verification for machine code
A Lal, J Lim, T Reps
University of Wisconsin-Madison Department of Computer Sciences, 2009
42009
PostHat and All That: Attaining Most-Precise Inductive Invariants
T Reps, J Lim, A Lal, A Thakur
2013
The system can't perform the operation now. Try again later.
Articles 1–20