I am a Ph.D. student in Computer Science & Engineering at the University of Washington, advised by Dan Grossman and Luis Ceze. I received a B.A. in computer science and music from Williams College, where I worked with Steve Freund.
Email: my three initials at cs.washington.edu
Research: My work focuses on what I call concurrency introspection, finding principled and efficient ways to expose typically implicit properties of shared-memory multithreaded programs and their executions to support simplified semantics, debugging, specification and checking, performance, and programming models. This research spans from programming languages down to architecture. I work with various people in the Sampa and PLSE/WASP groups at UW.
Internships: In summer 2011, I interned in the RiSE group at Microsoft Research with Sebastian Burckhardt, Daan Leijen, and Manuel Fahndrich. We adapted the Concurrent Revisions model to provide language support for eventually consistent storage in simple distributed systems such as smartphone applications sharing data through the cloud.
TAing: CSE 341, fall 2011; CSE 351, spring 2010; CSE P505, winter 2009
Publications
Conference
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:
ACM/IEEE International Symposium on Computer Architecture,
June 2012, to appear.
Extended Tech Report
Cloud Types for Eventual Consistency
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Benjamin P. Wood
ECOOP 2012:
European Conference on Object-Oriented Programming,
June 2012, to appear.
Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments
Brandon Lucia, Benjamin P. Wood, Luis Ceze
PLDI 2011:
ACM Conference on Programming Language Design and Implementation,
June 2011.
Code:
Recon
Composable Specifications for Structured Shared-Memory Communication
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman
OOPSLA 2010:
ACM Conference on Object-Oriented Programming Systems, Languages, and Applications,
October 2010.
Slides:
Keynote, PDF
Code:
OshaJava
Workshop
Greedy Coherence
Emily Fortuna, Brandon Lucia, Adrian Sampson, Benjamin P. Wood, Luis Ceze
HPPC 2011:
Workshop on Hardware Support for Parallel Performance and Correctness,
December 2011.
Data-Race Exceptions Have Benefits Beyond the Memory Model
Benjamin P. Wood, Luis Ceze, Dan Grossman
MSPC 2011:
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness,
June 2011.
Slides:
Keynote, PDF, PDF with notes
Local
Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs
Benjamin P. Wood, Joseph Devietti, Luis Ceze, Dan Grossman
Technical Report UW-CSE-09-05-02, University of Washington,
May 2009.
Hominy Grits: Specification and Inference of Synchronization Disciplines for Concurrent Programs
Benjamin P. Wood
(advised by Stephen N. Freund)
Undergraduate Thesis, Williams College,
May 2008.