Shaz Qadeer

Research Scientist

I joined Novi in November 2018. Before that I worked at Microsoft for more than 15 years, mostly in Research but also briefly in Azure. I work on the semantics and verification of Move bytecode. I am also interested in implementing verified distributed and concurrent systems.


Programming languages, program verification, concurrency

Latest Publications

CAV - October 21, 2020

The Move Prover

Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, David Dill

Static Analysis Symposium - September 15, 2020

Exact and Linear-Time Gas-Cost Analysis

Ankush Das, Shaz Qadeer

CAV - July 15, 2020

Refinement for Structured Concurrent Programs

Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger

PLDI - July 15, 2020

Inductive Sequentialization of Asynchronous Programs

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

PLDI - July 15, 2020

Armada: Low-Effort Verification of High-Performance Concurrent Programs

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao