SPLASH 2015 (series) / Brian Demsky
Not registered as user yet
Name: Brian Demsky
Affiliation: University of California at Irvine, USA
Personal website: plrg.eecs.UCI.edu/~bdemsky/
SPLASH 2015 Activities
- Author of AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 within the OOPSLA-track in SPLASH 2015
- Author of AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 within the OOPSLA Artifacts-track in SPLASH 2015
- Author of SATCheck: SAT-Directed Stateless Model Checking for SC and TSO within the OOPSLA-track in SPLASH 2015
- Author of SATCheck: SAT-Directed Stateless Model Checking for SC and TSO within the OOPSLA Artifacts-track in SPLASH 2015
- Committee Member in Program Committee for WODA 2015
- Show activities from other conferences
SPLASH 2015-profile
View general profile
View general profile