Sam Blackshear
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2010–2024
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | 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 |
| 2021 | FC | 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 |
| 2020 | CAV | The Move Prover. | Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill |
| 2015 | OOPSLA | Selective control-flow abstraction via jumping. | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2015 | PLDI | Droidel: a general approach to Android framework modeling. | Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang |
| 2014 | CHI | Android apps consistency scrutinized. | Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang, Tom Yeh |
| 2014 | PLDI | Verification modulo versions: towards usable verification. | Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fhndrich, Sam Blackshear |
| 2013 | PLDI | Thresher: precise refutations for heap reachability. | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2013 | PLDI | Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. | Sam Blackshear, Shuvendu K. Lahiri |
| 2011 | SAS | The Flow-Insensitive Precision of Andersen's Analysis in Practice. | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan |
| 2010 | SAC | R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks. | Sam Blackshear, Rakesh M. Verma |