M.S. Computer Sciences, University of Wisconsin-Madison, 2006
B.S. Computer Sciences and Engineering, Seoul National University in Korea, 2003
junghee(at)cs(dot)wisc(dot)edu
My advisor is Prof. Thomas Reps.
This is my CV.Publications (CiteseerX, Google Scholar, Microsoft Libra, DB&LP)-Pending Submissions
Lim, J., Lal, A., and Reps, T., "Symbolic analysis via semantic reinterpretation".
TR-1640, Computer Sciences Department, University of Wisconsin, Madison, WI, July 2008. [abstract; PDF]
Submitted for conference publication.
-Refereed Publications
Junghee Lim and Thomas Reps, "A system for generating static analyzers for machine instructions", TR-1622
In Proc. the International Conference on Compiler Construction (CC) 2008, Budapest, Hungary.
Won the EAPLS Best Paper Award at ETAPS 2008.
Junghee Lim, Thomas Reps, and Ben Liblit, "Extracting File Formats from Executables",
In Proc. 13th Working Conference on Reverse Engineering (WCRE) 2006, Benevento, Italy.
Akash Lal, Junghee Lim, Marina Polishchuk, and Ben Liblit,
"Path Optimization in Programs and its Application to Debugging", TR-1535
In Proc. European Symposium on Programming (ESOP) 2006, Vienna, Austria.
Balakrishnan, G., Reps, T., Kidd, N., Lal, A., Lim, J., Melski, D., Gruian, R., Yong, S., Chen, C.-H., and Teitelbaum, T.,
"Model checking x86 executables with CodeSurfer/x86 and WPDS++", (tool-demonstration paper),
In Proc. Computer Aided Varification (CAV) 2005, Edinburgh, Scotland.
Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee and Sang Lyul Min,
"Compiler Assisted Demand Paging for Embedded Systems with Flash Memory",
In Proc. 4th ACM International Conference on Embedded Software (EMSOFT) 2004, Pisa, Italy.
-Invited Papers
Reps, T., Balakrishnan, G., and Lim, J. "Intermediate-representation recovery from low-level code".
In Workshop on Partial Evaluation and Program Manipulation (PEPM) 2006, Charleston, SC.
Reps, T., Balakrishnan, G., Lim, J., and Teitelbaum, T., "A next-generation platform for analyzing executables",
In 3rd Asian Symposium on Programming Languages and Systems (APLAS) 2005, Tsukuba, Japan.
Contact information
UW-Madison:
Computer Sciences Department, University of Wisconsin-Madison
1210 W. Dayton St., Madison, WI 53706-1685, USA
Department phone: + 1 608.262.1204
Department fax: +1 608.262.9777
Current office address:
Laboratoire LIAFA, Universite' Paris Diderot - Paris 7
175 rue du Chevaleret, 75013 Paris, France
Office 6A15
Telephone: +33 1.44.27.28.40
Fax: +33 1.44.27.68.49
email: junghee(at)cs(dot)wisc(dot)edu
Last modified: Jul.22,2008
photo albums