Shaz Qadeer

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
Research interests:Secure distributed systems, program verification, programming languages, software testing, software engineering

Contributions

Commute Commutativity Reasoning in the Civl Verifier
PLDI 2022 (PLDI 2020) Inductive Sequentialization of Asynchronous Programs
Show activities from other conferences

PLDI 2022-profile
View general profile