Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shaz Qadeer
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
PLDI 2015 profile
PLDI 2019 profile
PLDI 2022 profile
POPL 2020 profile
POPL 2024 profile
PPoPP 2016 profile
PPoPP 2019 profile
SPLASH 2010 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2018 profile
SPLASH 2024 profile
Not registered as user
Name:
Shaz Qadeer
Country:
United States
Affiliation:
Facebook
Personal website:
https://scholar.google.com/citations?user=EqIVfYcAAAAJ
Contributions
2024
SPLASH
Committee Member in Review Committee within the OOPSLA 2024-track
POPL
Author of Scaling Verification of Concurrent Programs with the Civl Verifier within the TutorialFest-track
2022
PLDI
Committee Member in PLDI within the PLDI-track
2021
Rebase
Presenter of The Move language for the Diem Blockchain within the REBASE-track
2020
VMCAI
PC Member in Program Committee within the VMCAI 2020-track
2019
PLDI
Committee Member in Program Committee within the PLDI Research Papers-track
Principles and Practice of Parallel Programming
PC Member in Program Committee
2018
AGERE
Author of Compositional Programming and Testing of Actor Programs within the AGERE-track
SPLASH
Author of Compositional Programming and Testing of Dynamic Distributed Systems within the Posters-track
Author of Compositional Programming and Testing of Dynamic Distributed Systems within the OOPSLA-track
2016
Principles and Practice of Parallel Programming
Committee Member in Program Committee within the Main conference-track
2015
PLDI
Author of DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
2013
SPLASH
Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track
2012
SPLASH
Author of GPUVerify: a verifier for GPU kernels within the OOPSLA Research Papers-track
Share
x
Wed 15 Jan 10:44
