Publications of Patrick Lam

Refereed Publications

Eric Bodden, Patrick Lam and Laurie Hendren. Submitted to TOPLAS: Partially evaluating finite-state runtime monitors ahead of time.
Brian Demsky and Patrick Lam. To appear in ACM Transactions on Software Engineering and Methodology. Views: Synthesizing Fine-Grained Concurrency Control.
- Supercedes: Brian Demsky and Patrick Lam. ICSE 2010: Views: Object-Inspired Concurrency Control. [source]
Patrick Lam, Eric Bodden, Ondrej Lhotak, and Laurie Hendren. CETUS 2011: The Soot framework for Java program analysis: a retrospective. [slides]
Jon Eyolfson, Lin Tan and Patrick Lam. MSR 2011: Do Time of Day and Developer Experience Affect Commit Bugginess?. [bib]
Sebastian Fischmeister and Patrick Lam. IEEE Transactions on Industrial Informatics, vol. 6 no. 4, November 2010. Time-Aware Instrumentation of Embedded Software [bib].
- Supercedes: Sebastian Fischmeister and Patrick Lam. RTAS 2009: On Time-Aware Instrumentation of Programs [bib].
Eric Bodden, Patrick Lam and Laurie Hendren. RV 2010: Clara: a Framework for Partially Evaluating Finite-state Runtime Monitors Ahead of Time. [bib]
Jeff Zarnett, Mahesh Tripunitara, and Patrick Lam. SACMAT 2010: Role-Based Access Control (RBAC) in Java via Proxy Objects using Annotations [webpage, bib].
Jeff Zarnett, Patrick Lam and Mahesh Tripunitara. ICISS 2009: Method-Specific Java Access Control via RMI Proxy Objects using Annotations (Short Paper) [bib].
Eric Bodden, Patrick Lam and Laurie Hendren. FSE 2008: Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time [pdf, bib].
Eric Bodden, Patrick Lam and Laurie Hendren. BCS 2008: Object Representatives: a uniform abstraction for pointer information [pdf, bib, slides].
Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak, and Nomair A. Naeem. Journal of Logic and Computation 2010: Collaborative runtime verification with tracematches [bib]
- Supercedes: Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak, Nomair A. Naeem. RV 2007: Collaborative runtime verification with tracematches [pdf, bib].
Patrick Lam and Martin Rinard. Next Generation Software Workshop at the International Parallel and Distributed Processing Symposium. Static Verification of Design Constraints and Software Correctness Properties in the Hob System.
Viktor Kuncak, Patrick Lam, Karen Zee and Martin Rinard. Transactions on Software Engineering, December 2006. Modular Pluggable Analyses for Data Structure Consistency [pdf, bib].
Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski and Martin Rinard. VMCAI 2006: Field Constraint Analysis [pdf, bib].
Viktor Kuncak, Patrick Lam, Karen Zee and Martin Rinard. VSTTE 2005: Implications of a Data Structure Consistency Checking System [pdf, bib].
Patrick Lam, Viktor Kuncak and Martin Rinard. Tool Demo at CC 2005: Hob: A Tool for Verifying Data Structure Consistency [pdf, bib].
Patrick Lam, Viktor Kuncak and Martin Rinard. AOSD 2005: Cross-cutting Techniques in Program Specification and Analysis [pdf, bib].
Patrick Lam, Viktor Kuncak and Martin Rinard. VMCAI 2005: Generalized Typestate Checking for Data Structure Consistency [pdf, bib].
Karen Zee, Patrick Lam, Viktor Kuncak and Martin Rinard. SVV 2004: Combining Theorem Proving with Static Analysis for Data Structure Consistency [pdf, bib].
Patrick Lam and Martin Rinard. ECOOP 2003: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information [pdf, bib]. The slides are also available. ([ps] [pdf])
Viktor Kuncak, Patrick Lam and Martin Rinard. POPL 2002: Role Analysis [bib].
Viktor Kuncak, Patrick Lam and Martin Rinard. LCPC 2001: A Language for Role Specifications.
Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon and Charles Godin. OOPSLA 2000: Practical Virtual Method Resolution for Java [bib].
Raja Vallée-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, and Vijay Sundaresan. CC 2000: Optimizing Java Bytecode using the Soot Framework: Is it Feasible? [bib] (I gave the presentation for this paper.)

Posters and Presentations

Patrick Lam, Viktor Kuncak and Martin Rinard. Hob: A Tool for Verifying Data Structure Consistency. Tool demo at Compiler Construction 2005.
Patrick Lam. Colloque du Département d'Informatique et recherche opérationnelle: The Hob System for Verifying Data Structure Consistency Properties. [pdf, handout front: svg, png, back: svg, png]
Patrick Lam. Québec Programming Languages Seminaire, Fall 2004: The Hob System for Verifying Data Structure Consistency Properties [sxi].
Patrick Lam, Viktor Kuncak and Martin Rinard. IBM Programming Languages Day, 2004: Modular Pluggable Analysis.
Patrick Lam. CRS Retreat, 2004: Modular Pluggable Analysis (overview). (How to bike to a workshop).
Patrick Lam and Martin Rinard. ECOOP 2003: A Typestate System for Simultaneous and Changing Data Structure Participation.
Patrick Lam and Martin Rinard. Eclipse Technology eXchange at ICSE 2003: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.

Theses

Patrick Lam. PhD thesis, MIT, February 2007: The Hob System for Verifying Software Design Properties. [pdf, bib]
Patrick Lam. MSc thesis, McGill University, August 2000: A Generalized Framework for the Flow Analysis of Concurrent Programs. [pdf, bib]

Other publications

Patrick Lam, Viktor Kuncak and Martin Rinard. Technical Report 933, MIT Computer Science and Artificial Intelligence Laboratory: On Modular Pluggable Analyses Using Set Interfaces [pdf, bib].
Patrick Lam, Viktor Kuncak and Martin Rinard. Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses [pdf, bib]. SIGPLAN Notices, Volume 39, Issue 3 (March 2004), pages 46-55.