Junghee Lim, Ph.D.
Affiliations: | 2011 | University of Wisconsin, Madison, Madison, WI |
Area:
Computer ScienceGoogle:
"Junghee Lim"Parents
Sign in to add mentorThomas Reps | grad student | 2011 | UW Madison | |
(Transformer specification language: A system for generating analyzers and its applications.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Elder M, Lim J, Sharma T, et al. (2014) Abstract Domains of Affine Relations Acm Transactions On Programming Languages and Systems. 36: 11 |
Lim J, Reps T. (2013) TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis Acm Transactions On Programming Languages and Systems. 35: 4 |
Zhang W, Sun C, Lim J, et al. (2013) ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach Acm Transactions On Software Engineering and Methodology. 22: 10 |
Lim J, Lal A, Reps T. (2011) Symbolic analysis via semantic reinterpretation International Journal On Software Tools For Technology Transfer. 13: 61-87 |