| 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 | 164 | 2011 |
| 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 | 96 | 2004 |
| 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 | 91 | 2006 |
| Extracting output formats from executables J Lim, T Reps, B Liblit 2006 13th Working Conference on Reverse Engineering, 167-178, 2006 | 86 | 2006 |
| 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 | 79 | 2010 |
| 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 | 63 | 2005 |
| A system for generating static analyzers for machine instructions J Lim, T Reps Compiler Construction: 17th International Conference, CC 2008, Held as Part …, 2008 | 54 | 2008 |
| 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 | 48 | 2013 |
| 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 | 48 | 2005 |
| 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 | 43 | 2014 |
| 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 | 40 | 2010 |
| 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 | 29 | 2015 |
| Symbolic analysis via semantic reinterpretation J Lim, A Lal, T Reps Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 27 | 2009 |
| Path optimization in programs and its application to debugging A Lal, J Lim, M Polishchuk, B Liblit ESOP 3924, 246-263, 2006 | 25 | 2006 |
| 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 | 22 | 2013 |
| 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 | 10 | 2013 |
| Transformer Specification Language: A system for generating analyzers and its applications J Lim WISCONSIN UNIV MADISON, 2011 | 5 | 2011 |
| A next-generation platform for analyzing executables T Reps, G Balakrishnan, J Lim, T Teitelbaum Malware Detection, 43-61, 2007 | 5 | 2007 |
| BTRACE: Path optimization for debugging A Lal, J Lim, M Polishchuk, B Liblit University of Wisconsin-Madison Department of Computer Sciences, 2005 | 5 | 2005 |
| McDash: Refinement-based property verification for machine code A Lal, J Lim, T Reps University of Wisconsin-Madison Department of Computer Sciences, 2009 | 4 | 2009 |
