Patrick Lam

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 12

Top Venues

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Mohammad Robati Shirzad, Patrick Lam
A study of common bug fix patterns in Rust. Empir. Softw. Eng. 29 (2) (2024)
Dakota Wong, Austin Kothig, Patrick Lam
Exploring the Verifiability of Code Generated by GitHub Copilot. CoRR (2022)
Sruthi Venkatanarayanan, Jens Dietrich, Craig Anslow, Patrick Lam
VizAPI: Visualizing Interactions between Java Libraries and Clients. VISSOFT (2022)
Patrick Lam, Jens Dietrich, David J. Pearce
Putting the semantics into semantic versioning. Onward! (2020)
Qian Liang, Patrick Lam
SiblingClassTestDetector: Finding Untested Sibling Functions. ICSME (2020)
Patrick Lam, Jens Dietrich, David J. Pearce
Putting the Semantics into Semantic Versioning. CoRR (2020)
Jonathan Eyolfson, Patrick Lam
How C++ developers use immutability declarations: an empirical study. ICSE (2019)
Jon Eyolfson, Patrick Lam
C++ const and Immutability: An Empirical Study of Writes-Through-const. ECOOP (2016)
Jon Eyolfson, Patrick Lam
C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev
Modeling and analysis of remote memory access programming. OOPSLA (2016)
Brian Demsky, Patrick Lam
SATCheck: SAT-directed stateless model checking for SC and TSO. OOPSLA (2015)
Zheng Felix Fang, Patrick Lam
Identifying Test Refactoring Candidates with Assertion Fingerprints. PPPJ (2015)
Jon Eyolfson, Lin Tan, Patrick Lam
Correlations between bugginess and time-based commit characteristics. Empir. Softw. Eng. 19 (4) (2014)
Quinn Hanam, Lin Tan, Reid Holmes, Patrick Lam
Finding patterns in static analysis alerts: improving actionable alert ranking. MSR (2014)
Brian Demsky, Patrick Lam
Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Jon Eyolfson, Patrick Lam
Detecting Unread Memory Using Dynamic Binary Translation. RV (2012)
Eric Bodden, Patrick Lam, Laurie J. Hendren
Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Trans. Program. Lang. Syst. 34 (2) (2012)
Hang Chu, Patrick Lam
Collection disjointness analysis. SOAP@PLDI (2012)
Jon Eyolfson, Lin Tan, Patrick Lam
Do time of day and developer experience affect commit bugginess. MSR (2011)
Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam
Role-based access control (RBAC) in Java via proxy objects using annotations. SACMAT (2010)
Eric Bodden, Patrick Lam, Laurie J. Hendren
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV (2010)
Brian Demsky, Patrick Lam
Views: object-inspired concurrency control. ICSE (1) (2010)
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20 (3) (2010)
Eric Bodden, Patrick Lam
Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV (2010)
Sebastian Fischmeister, Patrick Lam
Time-aware Instrumentation of Real-time Programs. IEEE Trans. Ind. Informatics 6 (4) (2010)
Sebastian Fischmeister, Patrick Lam
On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. ICISS (2009)
Eric Bodden, Patrick Lam, Laurie J. Hendren
Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE (2008)
Eric Bodden, Patrick Lam, Laurie J. Hendren
Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. (2008)
Patrick Lam, Martin C. Rinard
Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS (2007)
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
Collaborative Runtime Verification with Tracematches. RV (2007)
Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32 (12) (2006)
Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
Field Constraint Analysis. VMCAI (2006)
Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
Implications of a Data Structure Consistency Checking System. VSTTE (2005)
Patrick Lam, Viktor Kuncak, Martin C. Rinard
Hob: A Tool for Verifying Data Structure Consistency. CC (2005)
Patrick Lam, Viktor Kuncak, Martin C. Rinard
Crosscutting techniques in program specification and analysis. AOSD (2005)
Patrick Lam, Viktor Kuncak, Martin C. Rinard
Generalized Typestate Checking for Data Structure Consistency. VMCAI (2005)
Viktor Kuncak, Patrick Lam, Martin C. Rinard
Roles Are Really Great! CoRR (2004)
Patrick Lam, Viktor Kuncak, Martin C. Rinard
Generalized typestate checking using set interfaces and pluggable analyses. ACM SIGPLAN Notices 39 (3) (2004)
Patrick Lam, Martin C. Rinard
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP (2003)
Viktor Kuncak, Patrick Lam, Martin C. Rinard
Role analysis. POPL (2002)
Viktor Kuncak, Patrick Lam, Martin C. Rinard
A Language for Role Specifications. LCPC (2001)
Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin
Practical virtual method call resolution for Java. OOPSLA (2000)
Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? CC (2000)
Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside
On the predictability of Java byte codes (abstract) (poster session). OOPSLA Addendum (2000)
Raja Vallée-Rai, Patrick Lam, Clark Verbrugge, Patrice Pominville, Feng Qian
Soot (poster session): a Java bytecode optimization and annotation framework. OOPSLA Addendum (2000)
Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan
Soot - a Java bytecode optimization framework. CASCON (1999)

Patrick Lam.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Lam