Brian Demsky -

Registered user since Wed 2 Jun 2021

Name:Brian Demsky

Affiliation:University of California at Irvine

Contributions

PLDI 2022	Committee Member in PLDI within the PLDI-track Author of Checking Robustness to Weak Persistency Models within the PLDI-track
VMCAI 2022	Author of Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate within the VMCAI 2022-track
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