Brian Demsky - SPLASH 2015

Registered user since Wed 2 Jun 2021

Name:Brian Demsky

Affiliation:University of California at Irvine, USA

Contributions

SPLASH 2015	AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 SATCheck: SAT-Directed Stateless Model Checking for SC and TSO SATCheck: SAT-Directed Stateless Model Checking for SC and TSO
WODA 2015	Committee Member in Program Committee within the WODA-track
Show activities from other conferences

SPLASH 2015-profile
View general profile