| 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 | 1260 | 2010 |
| 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 | 543 | 2011 |
| Optimizing Java bytecode using the Soot framework: Is it feasible? R Vallée-Rai, E Gagnon, L Hendren, P Lam, P Pominville, V Sundaresan Compiler Construction: 9th International Conference, CC 2000 Held as Part of …, 2000 | 445 | 2000 |
| 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 | 434 | 2000 |
| 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 | 218 | 2011 |
| Role analysis V Kuncak, P Lam, M Rinard Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 158 | 2002 |
| Collaborative runtime verification with tracematches E Bodden, L Hendren, P Lam, O Lhoták, NA Naeem Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007 | 114 | 2007 |
| 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 | 111 | 2008 |
| 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 | 98 | 2014 |
| Generalized typestate checking for data structure consistency P Lam, V Kuncak, M Rinard Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 78 | 2005 |
| 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 | 75 | 2010 |
| 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 |
| Field constraint analysis T Wies, V Kuncak, P Lam, A Podelski, M Rinard Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006 | 64 | 2006 |
| SATCheck: SAT-directed stateless model checking for SC and TSO B Demsky, P Lam ACM SIGPLAN Notices 50 (10), 20-36, 2015 | 61 | 2015 |
| Correlations between bugginess and time-based commit characteristics J Eyolfson, L Tan, P Lam Empirical Software Engineering 19, 1009-1039, 2014 | 60 | 2014 |
| 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 | 51 | 2010 |
| Putting the semantics into semantic versioning P Lam, J Dietrich, DJ Pearce Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 47 | 2020 |
| Generalized typestate checking using set interfaces and pluggable analyses P Lam, V Kuncak, M Rinard ACM SIGPLAN Notices 39 (3), 46-55, 2004 | 45 | 2004 |
| Hob: A tool for verifying data structure consistency P Lam, V Kuncak, M Rinard Compiler Construction: 14th International Conference, CC 2005, Held as Part …, 2005 | 37 | 2005 |
martin rinardMITVerified email at lcs.mit.edu
