Sam Blackshear
Sam Blackshear
Mysten Labs
Verified email at - Homepage
Cited by
Cited by
RacerD: compositional static race detection
S Blackshear, N Gorogiannis, PW O'Hearn, I Sergey
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
Move: A language with programmable resources
S Blackshear, E Cheng, DL Dill, V Gao, B Maurer, T Nowacki, A Pott, ...
Libra Assoc, 1, 2019
Verification modulo versions: Towards usable verification
F Logozzo, SK Lahiri, M Fähndrich, S Blackshear
ACM SIGPLAN Notices 49 (6), 294-304, 2014
The libra blockchain
Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, ...
URl: https://developers. libra. org/docs/assets/papers/the-libra-blockchain. pdf, 2019
Thresher: Precise refutations for heap reachability
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 48 (6), 275-286, 2013
Selective control-flow abstraction via jumping
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 50 (10), 163-182, 2015
Almost-correct specifications: A modular semantic framework for assigning confidence to warnings
S Blackshear, SK Lahiri
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language …, 2013
Droidel: A general approach to Android framework modeling
S Blackshear, A Gendreau, BYE Chang
Proceedings of the 4th ACM SIGPLAN International Workshop on State of the …, 2015
The move prover
JE Zhong, K Cheang, S Qadeer, W Grieskamp, S Blackshear, J Park, ...
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
The flow-insensitive precision of Andersen’s analysis in practice
S Blackshear, BYE Chang, S Sankaranarayanan, M Sridharan
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
R-LEAP+ randomizing LEAP+ key distribution to resist replay and jamming attacks
S Blackshear, RM Verma
Proceedings of the 2010 ACM symposium on applied computing, 1985-1992, 2010
Sui lutris: A blockchain combining broadcast and consensus
S Blackshear, A Chursin, G Danezis, A Kichidis, L Kokoris-Kogias, X Li, ...
arXiv preprint arXiv:2310.18042, 2023
Resources: A safe language abstraction for money
S Blackshear, DL Dill, S Qadeer, CW Barrett, JC Mitchell, O Padon, ...
arXiv preprint arXiv:2004.05106, 2020
Android apps consistency scrutinized
K Alharbi, S Blackshear, E Kowalczyk, AM Memon, BYE Chang, T Yeh
CHI'14 Extended Abstracts on Human Factors in Computing Systems, 2347-2352, 2014
Reactive key-loss protection in blockchains
S Blackshear, K Chalkias, P Chatzigiannis, R Faizullabhoy, ...
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
Robust safety for move
M Patrignani, S Blackshear
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 308-323, 2023
Ladi de Naurois
Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, ...
Valeria Nikolaenko, Todd Nowacki, Oleksandr Orlov andDmitri Perelman …, 2020
The libra blockchain (2019)
Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, ...
Semantic baselining
M Fahndrich, S Lahiri, F Logozzo, S Blackshear
US Patent 9,904,541, 2018
The Move Borrow Checker
S Blackshear, J Mitchell, T Nowacki, S Qadeer
arXiv preprint arXiv:2205.05181, 2022
The system can't perform the operation now. Try again later.
Articles 1–20