Not registered as user yet

Name: Brian Demsky

Country: United States

Affiliation: University of California, Irvine

Contributions

PPoPP 2021Committee Member in Extended Review Committee
ISMM 2020Committee Member in Program Committee
ESEC/FSE 2020Author of Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications within the Research Papers-track
CC 2020Committee Member in Program Committee within the Research Papers-track
PPoPP 2020Artifact Evaluation Co-Chair in Organizing Committee
SPLASH 2018Author of Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results within the OOPSLA-track
Author of Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results within the Posters-track
PPoPP 2018Committee Member in Program Committee
PPoPP 2017ERC member in External Committee
WODA 2015Committee Member in Program Committee within the WODA-track
SPLASH 2015Author 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
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
SPLASH 2013Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA-track
Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA Artifacts-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track