Brian Demsky -

Not registered as user yet

Name: Brian Demsky

Country: United States

Affiliation: University of California, Irvine

Contributions

CC 2020	Committee Member in Program Committee within the Research Papers-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