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.
Interests
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