Sam Blackshear

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 10

Top Topics

Data Broadcasting

Linguistic Resources

Person Identification

Top Venues

Proc. ACM Program. Lang.

Publications

Adam Welc, Sam Blackshear
Sui Move: Modern Blockchain Programming with Objects. SPLASH Companion (2023)
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
Sui Lutris: A Blockchain Combining Broadcast and Consensus. CoRR (2023)
Marco Patrignani, Sam Blackshear
Robust Safety for Move. CSF (2023)
Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer
The Move Borrow Checker. CoRR (2022)
Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian
Reactive Key-Loss Protection in Blockchains. Financial Cryptography Workshops (2021)
Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian
Reactive Key-Loss Protection in Blockchains. IACR Cryptol. ePrint Arch. 2021 (2021)
Marco Patrignani, Sam Blackshear
Robust Safety for Move. CoRR (2021)
Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar
Resources: A Safe Language Abstraction for Money. CoRR (2020)
Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
The Move Prover. CAV (1) (2020)
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
RacerD: compositional static race detection. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
Selective control-flow abstraction via jumping. OOPSLA (2015)
Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang
Droidel: a general approach to Android framework modeling. SOAP@PLDI (2015)
Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
Verification modulo versions: towards usable verification. PLDI (2014)
Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang, Tom Yeh
Android apps consistency scrutinized. CHI Extended Abstracts (2014)
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
Thresher: precise refutations for heap reachability. PLDI (2013)
Sam Blackshear, Shuvendu K. Lahiri
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. PLDI (2013)
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
The Flow-Insensitive Precision of Andersen's Analysis in Practice. SAS (2011)
Sam Blackshear, Rakesh M. Verma
R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks. SAC (2010)