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 | 110 | 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 | 79* | 2019 |
Verification modulo versions: Towards usable verification F Logozzo, SK Lahiri, M Fähndrich, S Blackshear ACM SIGPLAN Notices 49 (6), 294-304, 2014 | 75 | 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 | 65 | 2019 |
Thresher: Precise refutations for heap reachability S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 48 (6), 275-286, 2013 | 63 | 2013 |
Selective control-flow abstraction via jumping S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 50 (10), 163-182, 2015 | 44 | 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 | 44 | 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 | 39 | 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 | 24 | 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 | 16 | 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 | 15 | 2010 |
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 | 14 | 2014 |
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 | 13 | 2020 |
Reactive key-loss protection in blockchains S Blackshear, K Chalkias, P Chatzigiannis, R Faizullabhoy, ... Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021 | 11 | 2021 |
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 | 9 | 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 | 6 | 2020 |
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 | 5 | 2023 |
Semantic baselining M Fahndrich, S Lahiri, F Logozzo, S Blackshear US Patent 9,904,541, 2018 | 3 | 2018 |
The Move Borrow Checker S Blackshear, J Mitchell, T Nowacki, S Qadeer arXiv preprint arXiv:2205.05181, 2022 | 2 | 2022 |