Patrick Lam, PEng
Biography
Patrick Lam is an Associate Professor and cross-appointed to the School of Computer Science at the University of Waterloo.
Professor Lam’s research interests include static program analysis, verifiable software specifications, data mining, renewable energy and software engineering. He believes that his research “aims to give developers ways to automatically link high-level designs to low-level implementations, through the use of programming language extensions” (Patrick Lam, http://patricklam.ca).
Professor Lam has received multiple grants for his research efforts from the Natural Sciences and Engineering Research Council of Canada, including the NSERC Engage Grant in 2013 worth $25,000. He also has a current ongoing NSERC Discovery Grant from 2013 to 2018 worth $20,000 a year.
Additionally, Professor Lam has been recognized for his paper, “Soot – A Java Optimization Framework” by the Centre for Advanced Studies Conference hosted by IBM as a First Decade High Impact Paper in 2010. He has written many other published works for a variety of sources.
Professor Lam’s research interests include static program analysis, verifiable software specifications, data mining, renewable energy and software engineering. He believes that his research “aims to give developers ways to automatically link high-level designs to low-level implementations, through the use of programming language extensions” (Patrick Lam, http://patricklam.ca).
Professor Lam has received multiple grants for his research efforts from the Natural Sciences and Engineering Research Council of Canada, including the NSERC Engage Grant in 2013 worth $25,000. He also has a current ongoing NSERC Discovery Grant from 2013 to 2018 worth $20,000 a year.
Additionally, Professor Lam has been recognized for his paper, “Soot – A Java Optimization Framework” by the Centre for Advanced Studies Conference hosted by IBM as a First Decade High Impact Paper in 2010. He has written many other published works for a variety of sources.
Research Interests
- Program verification, Static analysis, Specification languages, Program understanding, Pointer analysis, Compilers, Lightweight specifications, Verifiable domain-specific languages, Software engineering, Verifiable software specifications, Infrastructure integrity
Education
- 2007, Doctorate Computer Science, Massachusetts Institute of Technology, United States
- 2000, Master's Computer Science, McGill University, Quebec
- 1999, Bachelor's Joint Honours Mathematics and Computer Science, McGill University, Quebec
Teaching*
- CS 447 - Software Testing, Quality Assurance, and Maintenance
- Taught in 2023
- CS 647 - Software Testing, Quality Assurance and Maintenance
- Taught in 2023
- ECE 198 - Project Studio
- Taught in 2021
- ECE 453 - Software Testing, Quality Assurance, and Maintenance
- Taught in 2023
- ECE 459 - Programming for Performance
- Taught in 2019, 2021, 2022, 2023
- ECE 653 - Software Testing, Quality Assurance and Maintenance
- Taught in 2022
- ECE 750 - Special Topics in Computer Software
- Taught in 2021, 2022
- SE 465 - Software Testing and Quality Assurance
- Taught in 2019
- SE 490 - Design Project 1
- Taught in 2019
* Only courses taught in the past 5 years are displayed.
Selected/Recent Publications
- Eyolfson, Jon and Lam, Patrick, C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact), DARTS-Dagstuhl Artifacts Series, , 2016
- Eyolfson, Jon and Tan, Lin and Lam, Patrick, Correlations between bugginess and time-based commit characteristics, Empirical Software Engineering, 1009, 2014
- Demsky, Brian and Lam, Patrick, Views: Synthesizing fine-grained concurrency control, ACM Transactions on Software Engineering and Methodology (TOSEM), 4, 2013
- Bodden, Eric and Lam, Patrick and Hendren, Laurie, Partially evaluating finite-state runtime monitors ahead of time, ACM Transactions on Programming Languages and Systems (TOPLAS), 7, 2012
- Sebastian Fischmeister and Patrick Lam, Time-Aware Instrumentation of Embedded Software, IEEE Transactions on Industrial Informatics, 652, 2010
Graduate studies
- Currently considering applications from graduate students. A completed online application is required for admission; start the application process now.