Brian Demsky - SPLASH 2015

Not registered as user yet

Name: Brian Demsky

Affiliation: University of California at Irvine, USA

Personal website: plrg.eecs.UCI.edu/~bdemsky/

Contributions

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

SPLASH 2015-profile
View general profile