I have been working on the Move language and Move Prover at Novi since 2018. I previously worked on the RacerD race detector, Quandary taint analyzer, and memory safety analysis in Facebook’s Infer static analyzer from 2015-2018. I hold a PhD in goal-directed abstract interpretation from the University of Colorado at Boulder.
Interests
Static analysis, verification, type systems, and programming languages
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
OOPSLA 2018 - November 3, 2018
RacerD: Compositional Static Race Detection
Sam Blackshear, Nikos Gorogiannis, Peter O'Hearn, Ilya Sergey
Latest News
Systems & Infrastructure
October 19, 2017