| Soot: A Java bytecode optimization framework R Vallée-Rai, P Co, E Gagnon, L Hendren, P Lam, V Sundaresan CASCON First Decade High Impact Papers, 214-224, 2010 | 1464* | 2010 |
| Optimizing Java bytecode using the Soot framework: Is it feasible? R Vallée-Rai, E Gagnon, L Hendren, P Lam, P Pominville, V Sundaresan International conference on compiler construction, 18-34, 2000 | 402 | 2000 |
| The Soot framework for Java program analysis: a retrospective P Lam, E Bodden, O Lhoták, L Hendren Cetus Users and Compiler Infastructure Workshop (CETUS 2011) 15 (35), 2011 | 363 | 2011 |
| Practical virtual method call resolution for Java V Sundaresan, L Hendren, C Razafimahefa, R Vallée-Rai, P Lam, ... ACM SIGPLAN Notices 35 (10), 264-280, 2000 | 357 | 2000 |
| Role analysis V Kuncak, P Lam, M Rinard Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 157 | 2002 |
| Do time of day and developer experience affect commit bugginess? J Eyolfson, L Tan, P Lam Proceedings of the 8th Working Conference on Mining Software Repositories …, 2011 | 141 | 2011 |
| Finding programming errors earlier by evaluating runtime monitors ahead-of-time E Bodden, P Lam, L Hendren Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 100 | 2008 |
| Collaborative runtime verification with tracematches E Bodden, L Hendren, P Lam, O Lhoták, NA Naeem International Workshop on Runtime Verification, 22-37, 2007 | 89 | 2007 |
| A type system and analysis for the automatic extraction and enforcement of design information P Lam, M Rinard European Conference on Object-Oriented Programming, 275-302, 2003 | 74 | 2003 |
| Generalized typestate checking for data structure consistency P Lam, V Kuncak, M Rinard International Workshop on Verification, Model Checking, and Abstract …, 2005 | 70 | 2005 |
| Field constraint analysis T Wies, V Kuncak, P Lam, A Podelski, M Rinard International Workshop on Verification, Model Checking, and Abstract …, 2006 | 66 | 2006 |
| Clara: A framework for partially evaluating finite-state runtime monitors ahead of time E Bodden, P Lam, L Hendren International Conference on Runtime Verification, 183-197, 2010 | 64 | 2010 |
| Modular pluggable analyses for data structure consistency V Kuncak, P Lam, K Zee, MC Rinard IEEE Transactions on Software Engineering 32 (12), 988-1005, 2006 | 57 | 2006 |
| Time-aware instrumentation of embedded software S Fischmeister, P Lam IEEE Transactions on Industrial Informatics 6 (4), 652-663, 2010 | 46 | 2010 |
| SATCheck: SAT-directed stateless model checking for SC and TSO B Demsky, P Lam ACM SIGPLAN Notices 50 (10), 20-36, 2015 | 45 | 2015 |
| Finding patterns in static analysis alerts: improving actionable alert ranking Q Hanam, L Tan, R Holmes, P Lam Proceedings of the 11th working conference on mining software repositories …, 2014 | 40 | 2014 |
| Generalized typestate checking using set interfaces and pluggable analyses P Lam, V Kuncak, M Rinard ACM SIGPLAN Notices 39 (3), 46-55, 2004 | 40 | 2004 |
| Hob: A tool for verifying data structure consistency P Lam, V Kuncak, M Rinard International Conference on Compiler Construction, 237-241, 2005 | 34 | 2005 |
| Crosscutting techniques in program specification and analysis P Lam, V Kuncak, M Rinard Proceedings of the 4th international conference on Aspect-oriented software …, 2005 | 34 | 2005 |
| Combining theorem proving with static analysis for data structure consistency K Zee, P Lam, V Kuncak, M Rinard International Workshop on Software Verification and Validation, 2004 | 32 | 2004 |
martin rinardMITVerified email at lcs.mit.edu
