Patrick Lam - Onward! 2015

Registered user since Mon 10 Aug 2015

Name:Patrick Lam

Affiliation:University of Waterloo, Canada

Contributions

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 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)
Show activities from other conferences