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.
Static analysis, verification, type systems, and programming languages
CAV - October 21, 2020
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
OOPSLA 2018 - November 3, 2018
Sam Blackshear, Nikos Gorogiannis, Peter O'Hearn, Ilya Sergey