Composable specifications for structured shared-memory communication. - Benjamin P. Wood; Adrian Sampson; Luis Ceze; Dan Grossman (OOPSLA, 2010)

Isolating and understanding concurrency errors using reconstructed execution fragments. - Brandon Lucia; Benjamin P. Wood; Luis Ceze (PLDI, 2011)

Data-race exceptions have benefits beyond the memory model. - Benjamin P. Wood; Luis Ceze; Dan Grossman (MSPC, 2011)

Cloud Types for Eventual Consistency. - Sebastian Burckhardt; Manuel Fähndrich; Daan Leijen; Benjamin P. Wood (ECOOP, 2012)

RADISH: Always-on sound and complete race detection in software and hardware. - Joseph Devietti; Benjamin P. Wood; Karin Strauss; Luis Ceze; Dan Grossman; Shaz Qadeer (ISCA, 2012)

Low-level detection of language-level data races with LARD. - Benjamin P. Wood; Luis Ceze; Dan Grossman (ASPLOS, 2014)

Software and Hardware Support for Data-Race Exceptions. - Benjamin P. Wood (2014)

Lightweight data race detection for production runs. - Swarnendu Biswas; Man Cao; Minjia Zhang; Michael D. Bond; Benjamin P. Wood (CC, 2017)

PARSNIP: performant architecture for race safety with no impact on precision. - Yuanfeng Peng; Benjamin P. Wood; Joseph Devietti (MICRO, 2017)

Instrumentation bias for dynamic data race detection. - Benjamin P. Wood; Man Cao; Michael D. Bond; Dan Grossman (Proc. ACM Program. Lang., 2017)