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