conf.researchr.org / Patrick Lam
Registered user since Mon 10 Aug 2015
Contributions
2022
2020
2018
SPLASH
2017
SPLASH
2016
SPLASH
- 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
2015
SPLASH
- 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)