| 2017 | CC | Lightweight data race detection for production runs. | Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood |
| 2017 | MICRO | PARSNIP: performant architecture for race safety with no impact on precision. | Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti |
| 2014 | ASPLOS | Low-level detection of language-level data races with LARD. | Benjamin P. Wood, Luis Ceze, Dan Grossman |
| 2012 | ECOOP | Cloud Types for Eventual Consistency. | Sebastian Burckhardt, Manuel Fhndrich, Daan Leijen, Benjamin P. Wood |
| 2012 | ISCA | 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 |
| 2011 | PLDI | Isolating and understanding concurrency errors using reconstructed execution fragments. | Brandon Lucia, Benjamin P. Wood, Luis Ceze |
| 2011 | PLDI | Data-race exceptions have benefits beyond the memory model. | Benjamin P. Wood, Luis Ceze, Dan Grossman |
| 2010 | OOPSLA | Composable specifications for structured shared-memory communication. | Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman |