Sam Blackshear

23 papers A* 4A 2B 1Misc 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Multi-Agent Framework for Automated Vulnerability Detection and Repair in Solidity and Move Smart Contracts.
CoRR
Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi
2025 — conf
Collaboration is all you need: LLM Assisted Safe Code Translation.
SIGSOFT FSE Companion
Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi
2025 J jnl
Collaboration is all you need: LLM Assisted Safe Code Translation.
CoRR
Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi
2024 J jnl
Generating Move Smart Contracts based on Concepts.
CoRR
Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi
2024 A* conf
Sui Lutris: A Blockchain Combining Broadcast and Consensus.
CCS
Sam Blackshear, Andrey Chursin, George Danezis, Anastasios Kichidis, Lefteris Kokoris-Kogias, Xun Li, Mark Logan, Ashok Menon, Todd Nowacki, Alberto Sonnino, Brandon Williams, Lu Zhang
2023 A conf
Robust Safety for Move.
CSF
Marco Patrignani, Sam Blackshear
2023 J jnl
Sui Lutris: A Blockchain Combining Broadcast and Consensus.
CoRR
Sam Blackshear, Andrey Chursin, George Danezis, Anastasios Kichidis, Lefteris Kokoris-Kogias, Xun Li, Mark Logan, Ashok Menon, Todd Nowacki, Alberto Sonnino, Brandon Williams, Lu Zhang
2023 — conf
Sui Move: Modern Blockchain Programming with Objects.
SPLASH Companion
Adam Welc, Sam Blackshear
2022 J jnl
The Move Borrow Checker.
CoRR
Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer
2021 — conf
Reactive Key-Loss Protection in Blockchains.
Financial Cryptography Workshops
Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian
2021 J jnl
Reactive Key-Loss Protection in Blockchains.
IACR Cryptol. ePrint Arch.
Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian
2021 J jnl
Robust Safety for Move.
CoRR
Marco Patrignani, Sam Blackshear
2020 J jnl
Resources: A Safe Language Abstraction for Money.
CoRR
Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar
2020 — conf
The Move Prover.
CAV (1)
Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
2018 J jnl
RacerD: compositional static race detection.
Proc. ACM Program. Lang.
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
2015 — conf
Droidel: a general approach to Android framework modeling.
SOAP@PLDI
Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang
2015 A conf
Selective control-flow abstraction via jumping.
OOPSLA
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
2014 — conf
Android apps consistency scrutinized.
CHI Extended Abstracts
Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang, Tom Yeh
2014 A* conf
Verification modulo versions: towards usable verification.
PLDI
Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
2013 A* conf
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings.
PLDI
Sam Blackshear, Shuvendu K. Lahiri
2013 A* conf
Thresher: precise refutations for heap reachability.
PLDI
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
2011 B conf
The Flow-Insensitive Precision of Andersen's Analysis in Practice.
SAS
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
2010 Misc conf
R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks.
SAC
Sam Blackshear, Rakesh M. Verma