SPLASH 2015 (series) / Patrick Lam
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