R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks. - Sam Blackshear; Rakesh M. Verma (SAC, 2010)

The Flow-Insensitive Precision of Andersen's Analysis in Practice. - Sam Blackshear; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001; Manu Sridharan (SAS, 2011)

Thresher: precise refutations for heap reachability. - Sam Blackshear; Bor-Yuh Evan Chang; Manu Sridharan (PLDI, 2013)

Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. - Sam Blackshear; Shuvendu K. Lahiri (PLDI, 2013)

Android apps consistency scrutinized. - Khalid Alharbi; Sam Blackshear; Emily Kowalczyk; Atif M. Memon; Bor-Yuh Evan Chang; Tom Yeh (CHI Extended Abstracts, 2014)

Verification modulo versions: towards usable verification. - Francesco Logozzo; Shuvendu K. Lahiri; Manuel Fähndrich; Sam Blackshear (PLDI, 2014)

Selective control-flow abstraction via jumping. - Sam Blackshear; Bor-Yuh Evan Chang; Manu Sridharan (OOPSLA, 2015)

Droidel: a general approach to Android framework modeling. - Sam Blackshear; Alexandra Gendreau; Bor-Yuh Evan Chang (SOAP@PLDI, 2015)

RacerD: compositional static race detection. - Sam Blackshear; Nikos Gorogiannis; Peter W. O'Hearn; Ilya Sergey (Proc. ACM Program. Lang., 2018)

The Move Prover. - Jingyi Emma Zhong; Kevin Cheang; Shaz Qadeer; Wolfgang Grieskamp; Sam Blackshear; Junkil Park; Yoni Zohar; Clark W. Barrett; David L. Dill (CAV (1), 2020)

Resources: A Safe Language Abstraction for Money. - Sam Blackshear; David L. Dill; Shaz Qadeer; Clark W. Barrett; John C. Mitchell; Oded Padon; Yoni Zohar (CoRR, 2020)

Reactive Key-Loss Protection in Blockchains. - Sam Blackshear; Konstantinos Chalkias; Panagiotis Chatzigiannis; Riyaz Faizullabhoy; Irakliy Khaburzaniya; Eleftherios Kokoris-Kogias; Joshua Lind; David Wong; Tim Zakian (IACR Cryptol. ePrint Arch., 2021)

The Move Borrow Checker. - Sam Blackshear; John C. Mitchell; Todd Nowacki; Shaz Qadeer (CoRR, 2022)

Robust Safety for Move. - Marco Patrignani; Sam Blackshear (CSF, 2023)

Sui Move: Modern Blockchain Programming with Objects. - Adam Welc; Sam Blackshear (SPLASH Companion, 2023)

Sui Lutris: A Blockchain Combining Broadcast and Consensus. - Sam Blackshear; Andrey Chursin; George Danezis; Anastasios Kichidis; Lefteris Kokoris-Kogias; Xun Li 001; Mark Logan; Ashok Menon; Todd Nowacki; Alberto Sonnino; Brandon Williams; Lu Zhang (CCS, 2024)

Generating Move Smart Contracts based on Concepts. - Rabimba Karanjai; Sam Blackshear; Lei Xu 012; Weidong Shi (CoRR, 2024)

Collaboration is all you need: LLM Assisted Safe Code Translation. - Rabimba Karanjai; Sam Blackshear; Lei Xu 012; Weidong Shi (SIGSOFT FSE Companion, 2025)

A Multi-Agent Framework for Automated Vulnerability Detection and Repair in Solidity and Move Smart Contracts. - Rabimba Karanjai; Sam Blackshear; Lei Xu 012; Weidong Shi (CoRR, 2025)