Concepedia

Sam Blackshear

SB

9

Publications

286

Citations

9

H-Index

2013

Active since

Affiliations

University of Colorado Boulder(Current)

Microsoft (United States)

Microsoft Research (United Kingdom)

University College London

University of Colorado System

Sam Blackshear is an author at University of Colorado Boulder specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware TestingVerificationSystem Software

Publications per year

2013–2024

9

Publications

9

RacerD: compositional static race detection

Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn et al. · Proceedings of the ACM on Programming Languages · 2018 · 80 citations · Full text

Engineering, Verification, Software Systems +22

Verification modulo versions

Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich et al. · 2014 · 42 citations

Program Checking, Engineering, Verification +20

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan · 2013 · 40 citations

Engineering, Software Engineering, Software Analysis +16

Almost-correct specifications

Sam Blackshear, Shuvendu K. Lahiri · 2013 · 28 citations

Program Checking, Engineering, Verification +17

Selective control-flow abstraction via jumping

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan · 2015 · 27 citations · Full text

Engineering, Verification, Software Systems +24

Rows per page

1–5 of 9