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: Wood:Benjamin_P=
Contributed to:
2014
2012
2011
2010
20172017Wrote 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.