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

PLDI 2022 (PLDI 2020) Inductive Sequentialization of Asynchronous Programs
Show activities from other conferences

Using general profile