Registered user since Wed 22 May 2019
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.
Research interests:Secure distributed systems, program verification, programming languages, software testing, software engineering
|PLDI 2022||(PLDI 2020) Inductive Sequentialization of Asynchronous Programs|
|Show activities from other conferences|
Using general profile