Soot - a Java bytecode optimization framework. - Raja Vallée-Rai; Phong Co; Etienne Gagnon; Laurie J. Hendren; Patrick Lam 001; Vijay Sundaresan (CASCON, 1999)

Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? - Raja Vallée-Rai; Etienne Gagnon; Laurie J. Hendren; Patrick Lam 001; Patrice Pominville; Vijay Sundaresan (CC, 2000)

On the predictability of Java byte codes (abstract) (poster session). - Karel Driesen; Patrick Lam 001; Jerome Miecznikowski; Feng Qian; Derek Rayside (OOPSLA Addendum, 2000)

Practical virtual method call resolution for Java. - Vijay Sundaresan; Laurie J. Hendren; Chrislain Razafimahefa; Raja Vallée-Rai; Patrick Lam 001; Etienne Gagnon; Charles Godin (OOPSLA, 2000)

Soot (poster session): a Java bytecode optimization and annotation framework. - Raja Vallée-Rai; Patrick Lam 001; Clark Verbrugge; Patrice Pominville; Feng Qian (OOPSLA Addendum, 2000)

A Language for Role Specifications. - Viktor Kuncak; Patrick Lam 001; Martin C. Rinard (LCPC, 2001)

Role analysis. - Viktor Kuncak; Patrick Lam 001; Martin C. Rinard (POPL, 2002)

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. - Patrick Lam 001; Martin C. Rinard (ECOOP, 2003)

Roles Are Really Great! - Viktor Kuncak; Patrick Lam 001; Martin C. Rinard (CoRR, 2004)

Generalized typestate checking using set interfaces and pluggable analyses. - Patrick Lam 001; Viktor Kuncak; Martin C. Rinard (ACM SIGPLAN Notices, 2004)

Crosscutting techniques in program specification and analysis. - Patrick Lam 001; Viktor Kuncak; Martin C. Rinard (AOSD, 2005)

Hob: A Tool for Verifying Data Structure Consistency. - Patrick Lam 001; Viktor Kuncak; Martin C. Rinard (CC, 2005)

Generalized Typestate Checking for Data Structure Consistency. - Patrick Lam 001; Viktor Kuncak; Martin C. Rinard (VMCAI, 2005)

Implications of a Data Structure Consistency Checking System. - Viktor Kuncak; Patrick Lam 001; Karen Zee; Martin C. Rinard (VSTTE, 2005)

Field Constraint Analysis. - Thomas Wies; Viktor Kuncak; Patrick Lam 001; Andreas Podelski; Martin C. Rinard (VMCAI, 2006)

Modular Pluggable Analyses for Data Structure Consistency. - Viktor Kuncak; Patrick Lam 001; Karen Zee; Martin C. Rinard (IEEE Trans. Software Eng., 2006)

Static Verification of Design Constraints and Software Correctness Properties in the Hob System. - Patrick Lam 001; Martin C. Rinard (IPDPS, 2007)

The Hob system for verifying software design properties. - Patrick Lam 001 (2007)

Object representatives: a uniform abstraction for pointer information. - Eric Bodden; Patrick Lam 001; Laurie J. Hendren (BCS Int. Acad. Conf., 2008)

Finding programming errors earlier by evaluating runtime monitors ahead-of-time. - Eric Bodden; Patrick Lam 001; Laurie J. Hendren (SIGSOFT FSE, 2008)

Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. - Jeff Zarnett; Patrick Lam 001; Mahesh V. Tripunitara (ICISS, 2009)

On Time-Aware Instrumentation of Programs. - Sebastian Fischmeister; Patrick Lam 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Views: object-inspired concurrency control. - Brian Demsky; Patrick Lam 001 (ICSE (1), 2010)

Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. - Eric Bodden; Patrick Lam 001 (RV, 2010)

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. - Eric Bodden; Patrick Lam 001; Laurie J. Hendren (RV, 2010)

Role-based access control (RBAC) in Java via proxy objects using annotations. - Jeff Zarnett; Mahesh V. Tripunitara; Patrick Lam 001 (SACMAT, 2010)

Collaborative Runtime Verification with Tracematches. - Eric Bodden; Laurie J. Hendren; Patrick Lam 001; Ondrej Lhoták; Nomair A. Naeem (J. Log. Comput., 2010)

Time-aware Instrumentation of Real-time Programs. - Sebastian Fischmeister; Patrick Lam 001 (IEEE Trans. Ind. Informatics, 2010)

Do time of day and developer experience affect commit bugginess. - Jon Eyolfson; Lin Tan 001; Patrick Lam 001 (MSR, 2011)

Collection disjointness analysis. - Hang Chu; Patrick Lam 001 (SOAP@PLDI, 2012)

Detecting Unread Memory Using Dynamic Binary Translation. - Jon Eyolfson; Patrick Lam 001 (RV, 2012)

Partially Evaluating Finite-State Runtime Monitors Ahead of Time. - Eric Bodden; Patrick Lam 001; Laurie J. Hendren (ACM Trans. Program. Lang. Syst., 2012)

Views: Synthesizing fine-grained concurrency control. - Brian Demsky; Patrick Lam 001 (ACM Trans. Softw. Eng. Methodol., 2013)

Finding patterns in static analysis alerts: improving actionable alert ranking. - Quinn Hanam; Lin Tan 001; Reid Holmes; Patrick Lam 001 (MSR, 2014)

Correlations between bugginess and time-based commit characteristics. - Jon Eyolfson; Lin Tan 001; Patrick Lam 001 (Empir. Softw. Eng., 2014)

SATCheck: SAT-directed stateless model checking for SC and TSO. - Brian Demsky; Patrick Lam 001 (OOPSLA, 2015)

Identifying Test Refactoring Candidates with Assertion Fingerprints. - Zheng Felix Fang; Patrick Lam 001 (PPPJ, 2015)

C++ const and Immutability: An Empirical Study of Writes-Through-const. - Jon Eyolfson; Patrick Lam 001 (ECOOP, 2016)

Modeling and analysis of remote memory access programming. - Andrei Marian Dan; Patrick Lam 001; Torsten Hoefler; Martin T. Vechev (OOPSLA, 2016)

C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact). - Jon Eyolfson; Patrick Lam 001 (Dagstuhl Artifacts Ser., 2016)

How C++ developers use immutability declarations: an empirical study. - Jonathan Eyolfson; Patrick Lam 001 (ICSE, 2019)

SiblingClassTestDetector: Finding Untested Sibling Functions. - Qian Liang; Patrick Lam 001 (ICSME, 2020)

Putting the semantics into semantic versioning. - Patrick Lam 001; Jens Dietrich 001; David J. Pearce 001 (Onward!, 2020)

VizAPI: Visualizing Interactions between Java Libraries and Clients. - Sruthi Venkatanarayanan; Jens Dietrich 001; Craig Anslow; Patrick Lam 001 (VISSOFT, 2022)

Exploring the Verifiability of Code Generated by GitHub Copilot. - Dakota Wong; Austin Kothig; Patrick Lam 001 (CoRR, 2022)

Abstract Debugging with GobPie. - Karoliine Holter; Juhan Oskar Hennoste; Simmo Saan; Patrick Lam 001; Vesal Vojdani (DEBT@ISSTA, 2024)

Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results. - Karoliine Holter; Juhan Oskar Hennoste; Patrick Lam 001; Simmo Saan; Vesal Vojdani (Onward!, 2024)

Enhancing Security through Modularization: A Counterfactual Analysis of Vulnerability Propagation and Detection Precision. - Mohammad Mahdi Abdollahpour; Jens Dietrich 001; Patrick Lam 001 (SCAM, 2024)

Surveying the Rust Verification Landscape. - Alex Le Blanc; Patrick Lam 001 (CoRR, 2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis. - Mohammad Robati Shirzad; Patrick Lam 001 (CoRR, 2024)

A study of common bug fix patterns in Rust. - Mohammad Robati Shirzad; Patrick Lam 001 (Empir. Softw. Eng., 2024)