Benjamin P. Wood

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Layered Architecture

Top Venues

Proc. ACM Program. Lang.

Publications

Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood
Lightweight data race detection for production runs. CC (2017)
Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman
Instrumentation bias for dynamic data race detection. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti
PARSNIP: performant architecture for race safety with no impact on precision. MICRO (2017)
Benjamin P. Wood, Luis Ceze, Dan Grossman
Low-level detection of language-level data races with LARD. ASPLOS (2014)
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood
Cloud Types for Eventual Consistency. ECOOP (2012)
Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
RADISH: Always-on sound and complete race detection in software and hardware. ISCA (2012)
Brandon Lucia, Benjamin P. Wood, Luis Ceze
Isolating and understanding concurrency errors using reconstructed execution fragments. PLDI (2011)
Benjamin P. Wood, Luis Ceze, Dan Grossman
Data-race exceptions have benefits beyond the memory model. MSPC (2011)
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman
Composable specifications for structured shared-memory communication. OOPSLA (2010)