Urmăriți
Patrick Lam
Patrick Lam
Associate Professor, University of Waterloo
Adresă de e-mail confirmată pe uwaterloo.ca - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
12742010
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
5452011
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
4412000
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
4412000
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
2182011
Role analysis
V Kuncak, P Lam, M Rinard
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1602002
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
1152007
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
1122008
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
982014
Generalized typestate checking for data structure consistency
P Lam, V Kuncak, M Rinard
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
782005
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
752010
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
SATCheck: SAT-directed stateless model checking for SC and TSO
B Demsky, P Lam
ACM SIGPLAN Notices 50 (10), 20-36, 2015
642015
Field constraint analysis
T Wies, V Kuncak, P Lam, A Podelski, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2006
642006
Correlations between bugginess and time-based commit characteristics
J Eyolfson, L Tan, P Lam
Empirical Software Engineering 19, 1009-1039, 2014
602014
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
Time-aware instrumentation of embedded software
S Fischmeister, P Lam
IEEE Transactions on Industrial Informatics 6 (4), 652-663, 2010
532010
Putting the semantics into semantic versioning
P Lam, J Dietrich, DJ Pearce
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
492020
Generalized typestate checking using set interfaces and pluggable analyses
P Lam, V Kuncak, M Rinard
ACM SIGPLAN Notices 39 (3), 46-55, 2004
462004
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
372005
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20