Not registered as user yet

Name:Garth Gibson
Affiliation:Carnegie Mellon University

Contributions

SPLASH 2016 Author of Stateless Model Checking with Data-Race Preemption Points within the OOPSLA-track