Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Patrick Lam
conf.researchr.org general profile
ECOOP 2016 profile
ICSE 2019 profile
PLDI 2018 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2010 profile
SPLASH 2011 profile
SPLASH 2013 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
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
Share
x
Wed 8 Feb 08:55