Follow
Sam Blackshear
Sam Blackshear
Mysten Labs
Verified email at mystenlabs.com - Homepage
Title
Cited by
Cited by
Year
Verification modulo versions: Towards usable verification
F Logozzo, SK Lahiri, M Fähndrich, S Blackshear
ACM SIGPLAN Notices 49 (6), 294-304, 2014
652014
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
622018
Thresher: Precise refutations for heap reachability
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 48 (6), 275-286, 2013
552013
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
492019
Move: A language with programmable resources
S Blackshear, E Cheng, DL Dill, V Gao, B Maurer, T Nowacki, A Pott, ...
Libra Assoc, 2019
42*2019
Selective control-flow abstraction via jumping
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 50 (10), 163-182, 2015
412015
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
352013
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
342015
The flow-insensitive precision of andersen’s analysis in practice
S Blackshear, BYE Chang, S Sankaranarayanan, M Sridharan
International Static Analysis Symposium, 60-76, 2011
152011
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
152010
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
132014
The move prover
JE Zhong, K Cheang, S Qadeer, W Grieskamp, S Blackshear, J Park, ...
International Conference on Computer Aided Verification, 137-150, 2020
122020
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
72020
The libra blockchain (2019)
Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, ...
5
Reactive key-loss protection in blockchains
S Blackshear, K Chalkias, P Chatzigiannis, R Faizullabhoy, ...
International Conference on Financial Cryptography and Data Security, 431-450, 2021
42021
Semantic baselining
M Fahndrich, S Lahiri, F Logozzo, S Blackshear
US Patent 9,904,541, 2018
32018
Flexible Goal-Directed Abstraction
S Blackshear
University of Colorado at Boulder, 2015
22015
Robust Safety for Move
M Patrignani, S Blackshear
arXiv preprint arXiv:2110.05043, 2021
12021
The Move Borrow Checker
S Blackshear, J Mitchell, T Nowacki, S Qadeer
arXiv preprint arXiv:2205.05181, 2022
2022
Middlesex University Research Repository
S Blackshear, N Gorogiannis, P O'Hearn
Proceedings of the ACM on Programming Languages 1 (1), 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20