E-LIB Suche - Ergebnisse für: Sam Blackshear

1

Robust Safety for Move:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),

Patrignani, Marco ; Blackshear, Sam - p. 308-323 , 2023

2

Sui Move: Modern Blockchain Programming with Objects:

, In: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Welc, Adam ; Blackshear, Sam - p. 53-55 , 2023

Link: https://dl.acm.org/doi/1..

3

Reactive Key-Loss Protection in Blockchains:

, In: Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops,

Blackshear, Sam ; Chalkias, Konstantinos ; Chatzigiannis, Panagiotis... - p. 431-450 , 2021

Link: https://doi.org/10.1007/..

4

The Move Prover:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Zhong, Jingyi Emma ; Cheang, Kevin ; Qadeer, Shaz... - p. 137-150 , 2020

Link: https://doi.org/10.1007/..

5

RacerD: compositional static race detection:

Blackshear, Sam ; Gorogiannis, Nikos ; O'Hearn, Peter W..
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-28 , 2018

Link: https://dl.acm.org/doi/1..

6

RacerD: compositional static race detection:

Blackshear, Sam ; Gorogiannis, Nikos ; O'Hearn, Peter W..
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-28 , 2018

Link: https://doi.org/10.1145/..

7

Selective control-flow abstraction via jumping:

Blackshear, Sam ; Chang, Bor-Yuh Evan ; Sridharan, Manu
ACM SIGPLAN Notices. 50 (2015) 10 - p. 163-182 , 2015

Link: https://doi.org/10.1145/..

8

Selective control-flow abstraction via jumping:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Blackshear, Sam ; Chang, Bor-Yuh Evan ; Sridharan, Manu - p. 163-182 , 2015

Link: https://dl.acm.org/doi/1..

9

Droidel: a general approach to Android framework modeling:

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

Blackshear, Sam ; Gendreau, Alexandra ; Chang, Bor-Yuh Evan - p. 19-25 , 2015

Link: https://dl.acm.org/doi/1..

10

Verification modulo versions: towards usable verification:

Logozzo, Francesco ; Lahiri, Shuvendu K. ; Fähndrich, Manuel.
ACM SIGPLAN Notices. 49 (2014) 6 - p. 294-304 , 2014

Link: https://doi.org/10.1145/..

11

Verification modulo versions : towards usable verificati..:

, In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Logozzo, Francesco ; Lahiri, Shuvendu K. ; Fähndrich, Manuel. - p. 294-304 , 2014

Link: https://dl.acm.org/doi/1..

12

Android apps consistency scrutinized:

, In: CHI '14 Extended Abstracts on Human Factors in Computing Systems,

Alharbi, Khalid ; Blackshear, Sam ; Kowalczyk, Emily... - p. 2347-2352 , 2014

Link: https://dl.acm.org/doi/1..

13

Almost-correct specifications: a modular semantic framework..:

Blackshear, Sam ; Lahiri, Shuvendu K.
ACM SIGPLAN Notices. 48 (2013) 6 - p. 209-218 , 2013

Link: https://doi.org/10.1145/..

14

Thresher : precise refutations for heap reachability:

, In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Blackshear, Sam ; Chang, Bor-Yuh Evan ; Sridharan, Manu - p. 275-286 , 2013

Link: https://dl.acm.org/doi/1..

15

Almost-correct specifications : a modular semantic frame..:

, In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Blackshear, Sam ; Lahiri, Shuvendu K. - p. 209-218 , 2013

Link: https://dl.acm.org/doi/1..