Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Brian Demsky
conf.researchr.org general profile
CC 2020 profile
ESEC/FSE 2020 profile
PLDI 2015 profile
PLDI 2020 profile
PLDI 2022 profile
POPL 2022 profile
PPoPP 2020 profile
PPoPP 2017 profile
PPoPP 2018 profile
PPoPP 2021 profile
SPLASH 2010 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2015 profile
SPLASH 2018 profile
SPLASH 2020 profile
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
Share
x
Thu 7 Jul 07:15