Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
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.

Affiliation: Novi, USA

Personal website: https://scholar.google.com/citations?user=EqIVfYcAAAAJ&hl=en

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