Get started
Author

Patrick Lam

Observed names: Lam, Patrick, Lam, Patrick, 1977-, P. Lam
ORCID: 0000-0001-8278-5400
Observed ORCID: 0000-0001-8278-5400
OpenAlex ID: A5016375266
Soot
2010 · Raja Vallée-Rai, Phong Co, et al. · 933
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?
2000 · Raja Vallée-Rai, Etienne Gagnon, et al. · Lecture notes in computer science · 314
PDF
The Soot framework for Java program analysis: a retrospective
2011 · Patrick Lam, Eric Bodden, et al. · 304
Practical virtual method call resolution for Java
2000 · Vijay Sundaresan, Laurie Hendren, et al. · ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) · 295
PDF
Do time of day and developer experience affect commit bugginess?
2011 · Jon Eyolfson, Lin Tan, et al. · Working Conference on Mining Software Repositories (MSR) · 149
Role analysis
2002 · Viktor Kuncak, Patrick Lam, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 126
Finding programming errors earlier by evaluating runtime monitors ahead-of-time
2008 · Eric Bodden, Patrick Lam, et al. · ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) · 90
Finding patterns in static analysis alerts: improving actionable alert ranking
2014 · Quinn Hanam, Lin Tan, et al. · Working Conference on Mining Software Repositories (MSR) · 72
Practical virtual method call resolution for Java
2000 · Vijay Sundaresan, Laurie Hendren, et al. · ACM SIGPLAN Notices · 69
PDF
Generalized Typestate Checking for Data Structure Consistency
2005 · Patrick Lam, Viktor Kuncak, et al. · Lecture notes in computer science · 64
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
2010 · Eric Bodden, Patrick Lam, et al. · Lecture notes in computer science · 56
Field Constraint Analysis
2005 · Thomas Wies, Viktor Kuncak, et al. · Lecture notes in computer science · 55
PDF
Modular Pluggable Analyses for Data Structure Consistency
2006 · Viktor Kuncak, Patrick Lam, et al. · IEEE Transactions on Software Engineering · 52
SATCheck: SAT-directed stateless model checking for SC and TSO
2015 · Brian Demsky, Patrick Lam · 51
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
2003 · Patrick Lam, Martin Rinard · Lecture notes in computer science · 50
PDF
Time-Aware Instrumentation of Embedded Software
2010 · Sebastian Fischmeister, Patrick Lam · IEEE Transactions on Industrial Informatics · 47
Correlations between bugginess and time-based commit characteristics
2013 · Jon Eyolfson, Lin Tan, et al. · Empirical Software Engineering · 46
Collaborative Runtime Verification with Tracematches
2008 · E. Bodden, L. Hendren, et al. · Journal of Logic and Computation · 41
Collaborative Runtime Verification with Tracematches
2007 · Eric Bodden, Laurie Hendren, et al. · Springer eBooks · 39
Generalized typestate checking using set interfaces and pluggable analyses
2004 · Patrick Lam, Viktor Kuncak, et al. · ACM SIGPLAN Notices · 35
Putting the semantics into semantic versioning
2020 · Patrick Lam, Jens Dietrich, et al. · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · 32
PDF
Hob: A Tool for Verifying Data Structure Consistency
2005 · Patrick Lam, Viktor Kuncak, et al. · Lecture notes in computer science · 28
PDF
Combining Theorem proving with Static Analysis for Data Structure Consistency
2004 · Karen Zee, Patrick Lam, et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 23
PDF
Crosscutting techniques in program specification and analysis
2005 · Patrick Lam, Viktor Kuncak, et al. · International Conference on Aspect-Oriented Software Development (AOSD) · 22
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
2012 · Eric Bodden, Patrick Lam, et al. · ACM Transactions on Programming Languages and Systems · 19
PDF
Works count: 115
Citation count: 3,272
H-index: 23
I10-index: 35
Year
Topic
Type