default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrick Lam 0001
Person information
- affiliation: University of Waterloo
- affiliation: MIT, Cambridge, USA
Other persons with the same name
- Patrick Lam 0002 — University of Auckland, New Zealand
- Patrick Lam 0003 — Thompson Rivers University, Kamloops, British Columbia, Canada
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Mohammad Robati Shirzad
, Patrick Lam:
A study of common bug fix patterns in Rust. Empir. Softw. Eng. 29(2): 44 (2024)- [c36]Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, Vesal Vojdani:
Abstract Debugging with GobPie. DEBT@ISSTA 2024: 32-33 - [i5]Alex Le Blanc, Patrick Lam:
Surveying the Rust Verification Landscape. CoRR abs/2410.01981 (2024) - [i4]Mohammad Robati Shirzad, Patrick Lam:
WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis. CoRR abs/2410.08517 (2024) - 2022
- [c35]Sruthi Venkatanarayanan, Jens Dietrich, Craig Anslow, Patrick Lam:
VizAPI: Visualizing Interactions between Java Libraries and Clients. VISSOFT 2022: 172-176 - [i3]Dakota Wong, Austin Kothig, Patrick Lam:
Exploring the Verifiability of Code Generated by GitHub Copilot. CoRR abs/2209.01766 (2022) - 2020
- [c34]Qian Liang, Patrick Lam:
SiblingClassTestDetector: Finding Untested Sibling Functions. ICSME 2020: 697-701 - [c33]Patrick Lam, Jens Dietrich, David J. Pearce:
Putting the semantics into semantic versioning. Onward! 2020: 157-179 - [i2]Patrick Lam, Jens Dietrich, David J. Pearce:
Putting the Semantics into Semantic Versioning. CoRR abs/2008.07069 (2020)
2010 – 2019
- 2019
- [c32]Jonathan Eyolfson, Patrick Lam:
How C++ developers use immutability declarations: an empirical study. ICSE 2019: 362-372 - 2016
- [j8]Jon Eyolfson, Patrick Lam:
C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact). Dagstuhl Artifacts Ser. 2(1): 03:1-03:2 (2016) - [c31]Jon Eyolfson, Patrick Lam:
C++ const and Immutability: An Empirical Study of Writes-Through-const. ECOOP 2016: 8:1-8:25 - [c30]Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev:
Modeling and analysis of remote memory access programming. OOPSLA 2016: 129-144 - 2015
- [c29]Brian Demsky, Patrick Lam:
SATCheck: SAT-directed stateless model checking for SC and TSO. OOPSLA 2015: 20-36 - [c28]Zheng Felix Fang, Patrick Lam:
Identifying Test Refactoring Candidates with Assertion Fingerprints. PPPJ 2015: 125-137 - 2014
- [j7]Jon Eyolfson, Lin Tan, Patrick Lam:
Correlations between bugginess and time-based commit characteristics. Empir. Softw. Eng. 19(4): 1009-1039 (2014) - [c27]Quinn Hanam, Lin Tan, Reid Holmes, Patrick Lam:
Finding patterns in static analysis alerts: improving actionable alert ranking. MSR 2014: 152-161 - 2013
- [j6]Brian Demsky, Patrick Lam:
Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. 22(1): 4:1-4:33 (2013) - [e2]Patrick Lam, Elena Sherman:
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, SOAP 2013, Seattle, WA, USA, June 20, 2013. ACM 2013, ISBN 978-1-4503-2201-0 [contents] - 2012
- [j5]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Trans. Program. Lang. Syst. 34(2): 7:1-7:52 (2012) - [c26]Hang Chu, Patrick Lam:
Collection disjointness analysis. SOAP@PLDI 2012: 45-50 - [c25]Jon Eyolfson, Patrick Lam:
Detecting Unread Memory Using Dynamic Binary Translation. RV 2012: 49-63 - [e1]Eric Bodden, Laurie J. Hendren, Patrick Lam, Elena Sherman:
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012. ACM 2012, ISBN 978-1-4503-1490-9 [contents] - 2011
- [c24]Jon Eyolfson, Lin Tan, Patrick Lam:
Do time of day and developer experience affect commit bugginess. MSR 2011: 153-162 - 2010
- [j4]Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20(3): 707-723 (2010) - [j3]Sebastian Fischmeister, Patrick Lam:
Time-aware Instrumentation of Real-time Programs. IEEE Trans. Ind. Informatics 6(4): 652-663 (2010) - [c23]Brian Demsky, Patrick Lam:
Views: object-inspired concurrency control. ICSE (1) 2010: 395-404 - [c22]Eric Bodden, Patrick Lam:
Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV 2010: 74-88 - [c21]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV 2010: 183-197 - [c20]Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam:
Role-based access control (RBAC) in Java via proxy objects using annotations. SACMAT 2010: 79-88
2000 – 2009
- 2009
- [c19]Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara:
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. ICISS 2009: 301-309 - [c18]Sebastian Fischmeister, Patrick Lam:
On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 305-314 - 2008
- [c17]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. 2008: 391-405 - [c16]Eric Bodden, Patrick Lam, Laurie J. Hendren:
Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47 - 2007
- [b1]Patrick Lam:
The Hob system for verifying software design properties. Massachusetts Institute of Technology, Cambridge, MA, USA, 2007 - [c15]Patrick Lam, Martin C. Rinard:
Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6 - [c14]Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. RV 2007: 22-37 - 2006
- [j2]Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard:
Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32(12): 988-1005 (2006) - [c13]Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard:
Field Constraint Analysis. VMCAI 2006: 157-173 - 2005
- [c12]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180 - [c11]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241 - [c10]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447 - [c9]Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard:
Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226 - 2004
- [j1]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized typestate checking using set interfaces and pluggable analyses. ACM SIGPLAN Notices 39(3): 46-55 (2004) - [i1]Viktor Kuncak, Patrick Lam, Martin C. Rinard:
Roles Are Really Great! CoRR cs.PL/0408013 (2004) - 2003
- [c8]Patrick Lam, Martin C. Rinard:
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP 2003: 275-302 - 2002
- [c7]Viktor Kuncak, Patrick Lam, Martin C. Rinard:
Role analysis. POPL 2002: 17-32 - 2001
- [c6]Viktor Kuncak, Patrick Lam, Martin C. Rinard:
A Language for Role Specifications. LCPC 2001: 366-382 - 2000
- [c5]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: 18-34 - [c4]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: 113-114 - [c3]Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside:
On the predictability of Java byte codes (abstract) (poster session). OOPSLA Addendum 2000: 127-128 - [c2]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: 264-280
1990 – 1999
- 1999
- [c1]Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan:
Soot - a Java bytecode optimization framework. CASCON 1999: 13
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-07 00:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
