conf.researchr.org / Brian Demsky
Registered user since Wed 2 Jun 2021
Name:Brian Demsky
Affiliation:University of California at Irvine
Contributions
2022
PLDI
2021
Principles and Practice of Parallel Programming
2020
SPLASH
Principles and Practice of Parallel Programming
2018
SPLASH
Principles and Practice of Parallel Programming
2017
Principles and Practice of Parallel Programming
2015
SPLASH
- 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