Följ
Sam Blackshear
Sam Blackshear
Mysten Labs
Verifierad e-postadress på mystenlabs.com - Startsida
Titel
Citeras av
Citeras av
År
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
1032018
Verification modulo versions: Towards usable verification
F Logozzo, SK Lahiri, M Fähndrich, S Blackshear
ACM SIGPLAN Notices 49 (6), 294-304, 2014
742014
Move: A language with programmable resources
S Blackshear, E Cheng, DL Dill, V Gao, B Maurer, T Nowacki, A Pott, ...
Libra Assoc, 1, 2019
73*2019
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
642019
Thresher: Precise refutations for heap reachability
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 48 (6), 275-286, 2013
612013
Selective control-flow abstraction via jumping
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 50 (10), 163-182, 2015
442015
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
422013
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
392015
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
222020
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
162011
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
142014
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
132020
Reactive key-loss protection in blockchains
S Blackshear, K Chalkias, P Chatzigiannis, R Faizullabhoy, ...
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
112021
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
92023
Ladi de Naurois
Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, ...
Valeria Nikolaenko, Todd Nowacki, Oleksandr Orlov andDmitri Perelman …, 2020
62020
The libra blockchain (2019)
Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, ...
6
Robust safety for move
M Patrignani, S Blackshear
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 308-323, 2023
42023
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20