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

Personal website:

Research interests: Secure distributed systems, program verification, programming languages, software testing, software engineering


PPoPP 2021 Committee Member in Program Committee
SAS 2020 Author of Exact and Linear-Time Gas-Cost Analysis within the SAS-track
PLDI 2020 Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track
Author of Inductive Sequentialization of Asynchronous Programs within the PLDI Research Papers-track
PLDI 2019 Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track