Sam Blackshear

Research Scientist

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

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