Sam Blackshear
Sam Blackshear
Verified email at - Homepage
Cited by
Cited by
Verification modulo versions: Towards usable verification
F Logozzo, SK Lahiri, M Fähndrich, S Blackshear
ACM SIGPLAN Notices 49 (6), 294-304, 2014
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
The libra blockchain
Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, DL Dill
URl: https://developers. libra. org/docs/assets/papers/the-libra-blockchain. pdf, 2019
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
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
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
Move: A language with programmable resources
S Blackshear, E Cheng, DL Dill, V Gao, B Maurer, T Nowacki, A Pott, ...
Avalaible at: https://developers. libra. org/docs/move-paper (Consulted on …, 2019
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
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
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
Semantic baselining
M Fahndrich, S Lahiri, F Logozzo, S Blackshear
US Patent 9,904,541, 2018
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
Flexible Goal-Directed Abstraction
S Blackshear
PhD thesis, University of Colorado Boulder, 2015
The Move Prover
JE Zhong, K Cheang, S Qadeer, W Grieskamp, S Blackshear, J Park, ...
International Conference on Computer Aided Verification, 137-150, 2020
The Flow-Insensitive Precision of Andersen's Analysis in Practice; CU-CS-1083-11
S Blackshear, BYE Chang, S Sankaranarayanan, M Sridharan
Reactive Key-Loss Protection in Blockchains
S Blackshear, K Chalkias, P Chatzigiannis, R Faizullabhoy, ...
The system can't perform the operation now. Try again later.
Articles 1–17