Registered user since Wed 22 May 2019
Name:Shaz Qadeer
Bio:
Shaz Qadeer has worked at Facebook, Microsoft, HP, and Compaq. He has studied at the University of California at Berkeley and the Indian Institute of Technology at Kanpur.
Country:United States
Affiliation:Novi, USA
Personal website:https://scholar.google.com/citations?user=EqIVfYcAAAAJ&hl=en
Research interests:Secure distributed systems, program verification, programming languages, software testing, software engineering
Contributions
| PLDI 2022 | (PLDI 2020) Inductive Sequentialization of Asynchronous Programs | ||||||||||||||||||||||||||||||||||||||||
| Commute | Commutativity Reasoning in the Civl Verifier | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2022-profile
View general profile
View general profile