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
The Move Prover
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
CAV - October 21, 2020
Exact and Linear-Time Gas-Cost Analysis
Ankush Das, Shaz Qadeer
Static Analysis Symposium - September 15, 2020
Refinement for Structured Concurrent Programs
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
CAV - 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
PLDI - July 15, 2020