Benjamin P. Wood

According to our database, Benjamin P. Wood authored at least 10 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Instrumentation bias for dynamic data race detection.

Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman

Proc. ACM Program. Lang., 2017

PARSNIP: performant architecture for race safety with no impact on precision.

Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti

Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017

Lightweight data race detection for production runs.

Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood

Proceedings of the 26th International Conference on Compiler Construction, 2017

2014

Software and Hardware Support for Data-Race Exceptions.

Benjamin P. Wood

PhD thesis, 2014

Low-level detection of language-level data races with LARD.

Benjamin P. Wood, Luis Ceze, Dan Grossman

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

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

Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

Cloud Types for Eventual Consistency.

Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Data-race exceptions have benefits beyond the memory model.

Benjamin P. Wood, Luis Ceze, Dan Grossman

Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011

Isolating and understanding concurrency errors using reconstructed execution fragments.

Brandon Lucia, Benjamin P. Wood, Luis Ceze

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Composable specifications for structured shared-memory communication.

Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010