Patrick Lam

Registered user since Mon 10 Aug 2015

Name:Patrick Lam
Affiliation:University of Waterloo
Personal website:http://patricklam.ca

Contributions

HATRA 2022 Author of Exploring the Verifiability of Code Generated by GitHub Copilot within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2022 Author of Putting the Semantics into Semantic Versioning within the COVID Time Papers In Person-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2020 Mentor in Mentors within the PLMW-track
Committee Member in Review Committee within the OOPSLA-track
Author of Putting the Semantics into Semantic Versioning within the Onward! Essays-track
Session Chair of W-1 (part of OOPSLA)
Session Chair of M-6 (part of OOPSLA)
ICSE 2019 Author of How C++ Developers Use Immutability Declarations: an Empirical Study within the Technical Track-track
SPLASH 2018 Session Chair of Compiler Optimization (part of OOPSLA)
Committee Member in External Reviewers within the OOPSLA-track
PLDI 2018 Committee Member in External Program Committee
SPLASH 2017 Session Chair of Poster Reception Wednesday (part of Posters)
Posters Co-Chair in Organizing Committee within the Posters-track
Posters Co-Chair in Organizing Committee
Session Chair of Poster Reception Monday (part of Posters)
PLDI 2017 Committee Member in External Review Committee
SPLASH 2016 Student Research Competition Chair in Organizing Committee
Author of Modeling and Analysis of Remote Memory Access Programming within the OOPSLA-track
Student Research Competition Co-Chair in Program Committee within the Student Research Competition-track
Session Chair of Talks (part of Student Research Competition)
ECOOP 2016 Author of C++ const and Immutability: An Empirical Study of Writes-Through-const within the Research Track-track
Author of C++ const and Immutability: An Empirical Study of Writes-Through-const within the Artifacts-track
IWACO 2016 Speaker of Are Ownership Types Reaching the World Yet? within the IWACO-track
SPLASH 2015 Student Research Competition Co-Chair in Organizing Committee within the Student Research Competition-track
Session Chair of Talks (part of Student Research Competition)
Student Research Competition Co-Chair in Organizing Committee
Author of SATCheck: SAT-Directed Stateless Model Checking for SC and TSO within the OOPSLA-track
Author of SATCheck: SAT-Directed Stateless Model Checking for SC and TSO within the OOPSLA Artifacts-track
Session Chair of Posters (part of Student Research Competition)
SPLASH 2014 Committee Member in Program Committee within the Student Research Competition-track
SPLASH 2013 Committee Member in Committee within the ACM SRC-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track
SPLASH 2010