Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Shaz Qadeer

Registered user since Wed 22 May 2019

Name:Shaz Qadeer

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.

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


PLDI 2020 Armada: Low-Effort Verification of High-Performance Concurrent Programs
Inductive Sequentialization of Asynchronous Programs
Show activities from other conferences

PLDI 2020-profile
View general profile