Junghee Lim, Ph.D.
Affiliations: | 2011 | University of Wisconsin, Madison, Madison, WI |
Area:
Computer ScienceGoogle:
"Junghee Lim"Parents
Sign in to add mentor| Thomas 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 |