Patrick Lam
Patrick Lam
Associate Professor, University of Waterloo
Email verificata su uwaterloo.ca - Home page
Titolo
Citata da
Citata da
Anno
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
1495*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
4092000
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
3762011
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
3632000
Role analysis
V Kuncak, P Lam, M Rinard
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1572002
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
1502011
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
1012008
Collaborative runtime verification with tracematches
E Bodden, L Hendren, P Lam, O Lhoták, NA Naeem
International Workshop on Runtime Verification, 22-37, 2007
942007
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
742003
Generalized typestate checking for data structure consistency
P Lam, V Kuncak, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2005
712005
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
662010
Field constraint analysis
T Wies, V Kuncak, P Lam, A Podelski, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2006
662006
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
572006
SATCheck: SAT-directed stateless model checking for SC and TSO
B Demsky, P Lam
ACM SIGPLAN Notices 50 (10), 20-36, 2015
482015
Time-aware instrumentation of embedded software
S Fischmeister, P Lam
IEEE Transactions on Industrial Informatics 6 (4), 652-663, 2010
472010
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
442014
Generalized typestate checking using set interfaces and pluggable analyses
P Lam, V Kuncak, M Rinard
ACM SIGPLAN Notices 39 (3), 46-55, 2004
412004
Hob: A tool for verifying data structure consistency
P Lam, V Kuncak, M Rinard
International Conference on Compiler Construction, 237-241, 2005
352005
Crosscutting techniques in program specification and analysis
P Lam, V Kuncak, M Rinard
Proceedings of the 4th international conference on Aspect-oriented software …, 2005
352005
Correlations between bugginess and time-based commit characteristics
J Eyolfson, L Tan, P Lam
Empirical Software Engineering 19 (4), 1009-1039, 2014
322014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20