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
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
October 19, 2017