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