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 × China
3 × USA
Collaborated with:
L.Ceze D.Grossman M.Cao M.D.Bond B.Lucia S.Burckhardt M.Fähndrich D.Leijen A.Sampson S.Biswas M.Zhang
Talks about:
detect (3) race (3) data (3) level (2) reconstruct (1) lightweight (1) understand (1) instrument (1) structur (1) fragment (1)

Person: Benjamin P. Wood

DBLP DBLP: Wood:Benjamin_P=

Contributed to:

ASPLOS 20142014
ECOOP 20122012
PLDI 20112011
OOPSLA 20102010
CC 20172017
OOPSLA 20172017

Wrote 6 papers:

ASPLOS-2014-WoodCG #detection #low level
Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.
ECOOP-2012-BurckhardtFLW #consistency
Cloud Types for Eventual Consistency (SB, MF, DL, BPW), pp. 283–307.
PLDI-2011-LuciaWC #comprehension #concurrent #execution #fault #using
Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
OOPSLA-2010-WoodSCG #communication #composition #specification
Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.
CC-2017-BiswasCZBW #concurrent #detection #lightweight
Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.
OOPSLA-2017-WoodCBG #bias #concurrent #detection
Instrumentation bias for dynamic data race detection (BPW, MC, MDB, DG), p. 31.

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.