Not registered as user yet

Name: Brian Demsky

Affiliation: University of California at Irvine

Contributions

SPLASH 2010
PPoPP 2021 Committee Member in External Review Committee
ISMM 2020 Committee Member in Program Committee
ESEC/FSE 2020 Author of Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications within the Research Papers-track
CC 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Author of Satune: Synthesizing Efficient SAT Encoders within the OOPSLA-track
Author of SATUNE: Synthesizing Efficient SAT Encoders within the Posters-track
PPoPP 2020 Artifact Evaluation Co-Chair in Organizing Committee
SPLASH 2018 Author 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 2018 Committee Member in Program Committee
PPoPP 2017 ERC member in External Committee
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
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2013 Author 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 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track