| 2025 | SCAM | Detecting Exception-Related Behavioural Breaking Changes with UnCheckGuard. | Vinayak Sharma, Patrick Lam |
| 2024 | Onward | Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results. | Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, Vesal Vojdani |
| 2024 | SCAM | Enhancing Security through Modularization: A Counterfactual Analysis of Vulnerability Propagation and Detection Precision. | Mohammad Mahdi Abdollahpour, Jens Dietrich, Patrick Lam |
| 2022 | VISSOFT | VizAPI: Visualizing Interactions between Java Libraries and Clients. | Sruthi Venkatanarayanan, Jens Dietrich, Craig Anslow, Patrick Lam |
| 2020 | OOPSLA | Putting the semantics into semantic versioning. | Patrick Lam, Jens Dietrich, David J. Pearce |
| 2019 | ICSE | How C++ developers use immutability declarations: an empirical study. | Jonathan Eyolfson, Patrick Lam |
| 2016 | ECOOP | C++ const and Immutability: An Empirical Study of Writes-Through-const. | Jon Eyolfson, Patrick Lam |
| 2016 | OOPSLA | Modeling and analysis of remote memory access programming. | Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev |
| 2015 | OOPSLA | SATCheck: SAT-directed stateless model checking for SC and TSO. | Brian Demsky, Patrick Lam |
| 2014 | MSR | Finding patterns in static analysis alerts: improving actionable alert ranking. | Quinn Hanam, Lin Tan, Reid Holmes, Patrick Lam |
| 2012 | PLDI | Collection disjointness analysis. | Hang Chu, Patrick Lam |
| 2012 | RV | Detecting Unread Memory Using Dynamic Binary Translation. | Jon Eyolfson, Patrick Lam |
| 2011 | MSR | Do time of day and developer experience affect commit bugginess. | Jon Eyolfson, Lin Tan, Patrick Lam |
| 2010 | ICSE | Views: object-inspired concurrency control. | Brian Demsky, Patrick Lam |
| 2010 | RV | Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. | Eric Bodden, Patrick Lam |
| 2010 | RV | Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. | Eric Bodden, Patrick Lam, Laurie J. Hendren |
| 2010 | SACMAT | Role-based access control (RBAC) in Java via proxy objects using annotations. | Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam |
| 2009 | ICISS | Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. | Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara |
| 2009 | RTAS | On Time-Aware Instrumentation of Programs. | Sebastian Fischmeister, Patrick Lam |
| 2007 | RV | Collaborative Runtime Verification with Tracematches. | Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhotk, Nomair A. Naeem |
| 2006 | VMCAI | Field Constraint Analysis. | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
| 2005 | CC | Hob: A Tool for Verifying Data Structure Consistency. | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
| 2005 | VMCAI | Generalized Typestate Checking for Data Structure Consistency. | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
| 2003 | ECOOP | A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. | Patrick Lam, Martin C. Rinard |
| 2003 | RoboCup | Design of Walking Gaits for Tao-Pie-Pie, a Small Humanoid Robot. | Jacky Baltes, Patrick Lam |
| 2002 | POPL | Role analysis. | Viktor Kuncak, Patrick Lam, Martin C. Rinard |
| 2000 | CC | Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? | Raja Valle-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan |
| 2000 | OOPSLA | On the predictability of Java byte codes (abstract) (poster session). | Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside |
| 2000 | OOPSLA | Practical virtual method call resolution for Java. | Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Valle-Rai, Patrick Lam, Etienne Gagnon, Charles Godin |
| 2000 | OOPSLA | Soot (poster session): a Java bytecode optimization and annotation framework. | Raja Valle-Rai, Patrick Lam, Clark Verbrugge, Patrice Pominville, Feng Qian |