conf.researchr.org / Ben Blum
Registered user since Fri 2 Sep 2016
Name:Ben Blum
Affiliation:Carnegie Mellon University
Contributions
PLDI 2017 | Committee Member in Artifact Evaluation Committee |
SPLASH 2016 | Author of Stateless Model Checking with Data-Race Preemption Points within the OOPSLA-track |