conf.researchr.org / Garth Gibson
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 |
Not registered as user yet
Contributions
SPLASH 2016 | Author of Stateless Model Checking with Data-Race Preemption Points within the OOPSLA-track |