![Patrick Lam](https://conf.researchr.org/getProfileImage/patricklam/d91e5ab1-4066-4fee-a129-6c15359ac032/small.jpg?1711551745000)
Registered user since Mon 10 Aug 2015
Contributions
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
- SATCheck: SAT-Directed Stateless Model Checking for SC and TSO
- SATCheck: SAT-Directed Stateless Model Checking for SC and TSO
- Session Chair of Posters (part of Student Research Competition)
SPLASH 2015-profile
View general profile
View general profile