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

Trusted Smart Contracts Workshop at Financial Cryptography (FC) - May 12, 2021

Reactive Key-Loss Protection in Blockchains

Sam Blackshear, Konstantinos (Kostas) Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Lefteris Kokoris Kogias, Joshua Lind, David Wong, Tim Zakian

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