Patrick Lam
Patrick Lam
Associate Professor, University of Waterloo
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
Role analysis
V Kuncak, P Lam, M Rinard
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 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
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
Collaborative runtime verification with tracematches
E Bodden, L Hendren, P Lam, O Lhoták, NA Naeem
International Workshop on Runtime Verification, 22-37, 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
Generalized typestate checking for data structure consistency
P Lam, V Kuncak, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 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
Field constraint analysis
T Wies, V Kuncak, P Lam, A Podelski, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2006
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
Time-aware instrumentation of embedded software
S Fischmeister, P Lam
IEEE Transactions on Industrial Informatics 6 (4), 652-663, 2010
SATCheck: SAT-directed stateless model checking for SC and TSO
B Demsky, P Lam
ACM SIGPLAN Notices 50 (10), 20-36, 2015
Generalized typestate checking using set interfaces and pluggable analyses
P Lam, V Kuncak, M Rinard
ACM SIGPLAN Notices 39 (3), 46-55, 2004
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
Crosscutting techniques in program specification and analysis
P Lam, V Kuncak, M Rinard
Proceedings of the 4th international conference on Aspect-oriented software …, 2005
Phong Co
R Vallée-Rai, L Hendren, V Sundaresan, P Lam, E Gagnon
Etienne Gagnon, Laurie Hendren, Patrick Lam, Vijay Sundaresan, Soot: a Java …, 2010
Hob: A tool for verifying data structure consistency
P Lam, V Kuncak, M Rinard
International Conference on Compiler Construction, 237-241, 2005
The system can't perform the operation now. Try again later.
Articles 1–20