Sam Blackshear

According to our database, Sam Blackshear authored at least 16 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Sui Lutris: A Blockchain Combining Broadcast and Consensus.

Sam Blackshear, Andrey Chursin, George Danezis, Anastasios Kichidis, Lefteris Kokoris-Kogias, Xun Li, Mark Logan, Ashok Menon, Todd Nowacki, Alberto Sonnino, Brandon Williams, Lu Zhang

CoRR, 2023

Sui Move: Modern Blockchain Programming with Objects.

Adam Welc, Sam Blackshear

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

Robust Safety for Move.

Marco Patrignani, Sam Blackshear

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

The Move Borrow Checker.

Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer

CoRR, 2022

2021

Reactive Key-Loss Protection in Blockchains.

Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian

IACR Cryptol. ePrint Arch., 2021

2020

Resources: A Safe Language Abstraction for Money.

Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar

CoRR, 2020

The Move Prover.

Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

RacerD: compositional static race detection.

Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey

Proc. ACM Program. Lang., 2018

2015

Droidel: a general approach to Android framework modeling.

Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang

Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015

Selective control-flow abstraction via jumping.

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Verification modulo versions: towards usable verification.

Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Android apps consistency scrutinized.

Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang, Tom Yeh

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013

Almost-correct specifications: a modular semantic framework for assigning confidence to warnings.

Sam Blackshear, Shuvendu K. Lahiri

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Thresher: precise refutations for heap reachability.

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2011

The Flow-Insensitive Precision of Andersen's Analysis in Practice.

Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks.

Sam Blackshear, Rakesh M. Verma

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010