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: Blackshear:Sam
Contributed to:
2015
20142013
2011
20102018Wrote 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.
- SAC-2010-BlackshearV
- 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.