BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Switzerland
1 × United Kingdom
2 × USA
Collaborated with:
B.E.Chang M.Sridharan S.K.Lahiri R.M.Verma F.Logozzo M.Fähndrich S.Sankaranarayanan N.Gorogiannis P.W.O'Hearn I.Sergey
Talks about:
precis (2) verif (2) leap (2) flow (2) framework (1) distribut (1) thresher (1) reachabl (1) insensit (1) composit (1)

Person: Sam Blackshear

DBLP DBLP: Blackshear:Sam

Contributed to:

OOPSLA 20152015
PLDI 20142014
PLDI 20132013
SAS 20112011
SAC 20102010
OOPSLA 20182018

Wrote 7 papers:

OOPSLA-2015-BlackshearCS #abstraction #control flow
Selective control-flow abstraction via jumping (SB, BYEC, MS), pp. 163–182.
PLDI-2014-LogozzoLFB #towards #verification
Verification modulo versions: towards usable verification (FL, SKL, MF, SB), p. 32.
PLDI-2013-BlackshearCS #named #precise #reachability
Thresher: precise refutations for heap reachability (SB, BYEC, MS), pp. 275–286.
PLDI-2013-BlackshearL #composition #framework #semantics #specification
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.
SAS-2011-BlackshearCSS #analysis #precise
The Flow-Insensitive Precision of Andersen’s Analysis in Practice (SB, BYEC, SS, MS), pp. 60–76.
R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks (SB, RMV), pp. 1985–1992.
OOPSLA-2018-BlackshearGOS #composition #concurrent #detection #named
RacerD: compositional static race detection (SB, NG, PWO, IS), p. 28.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.