Benjamin P. Wood

Anchor Point Assistant Professor
Computer Science
Wellesley College
Science Center E128
researching unaugmented actual reality

News −/+

  • 2017-2018:

    I am on research leave until Fall 2018.

  • December 2017:

    Valerie Zhao ‘18 received an Honorable Mention in the 2018 CRA Outstanding Undergraduate Researcher Awards.

  • November 2017:

    GE Global Research and Edison Pioneer Award winner Diwakar Kasibhotla made a generous grant to support our work on flexible and effective data race freedom checking.

  • October 2017:

    Valerie Zhao ‘18 won 3rd place in the SPLASH 2017 Student Research Competition (undergraduate division), where she presented a poster and talk on her summer REU work at CMU with Darya Melicher and Jonathan Aldrich.

  • August 2017:

    Our paper on instrumentation bias for efficient and safe software support for dynamic data race detection in FIB (with Man Cao at Google, Mike Bond at Ohio State, and Dan Grossman at UW) will appear at OOPSLA 2017 in October.

  • July 2017:

    Our paper on efficient hardware support for data race detection in PARSNIP (with Yuanfeng Peng and Joe Devietti at U Penn) will appear at MICRO 2017 in October.

  • May 2017:

    Sam Mincheva ‘17 successfully defended their undergraduate thesis on improving thread locality analysis for locksets.

  • February 2017:

    Our paper on lightweight software data race detection (with PLaSS at Ohio State) will appear at CC 2017.

  • April 2016:

    Kasey Shen ‘17 won 2nd place in the CCSCNE 2016 undergraduate research competition for her lock profiling work.


News Publications Students

I design programming systems for building reliable software. This work reaches across the implementation stack, involving programming languages, program analysis, compilers, runtime systems, and computer architecture.

Currently, I am exploring adaptive techniques for efficient dynamic program analysis using both pure-software and hybrid software-hardware implementations, applied first to data-race detection in multithreaded programs.


CS 111 Computer Programming & Problem Solving
Spring 2017
CS 230 Data Structures
Fall 2014
CS 240 Foundations of Computer Systems
(formerly Introduction to Machine Organization)
Spring 2017, Fall 2016, Spring 2016, Fall 2015, Spring 2015, Fall 2014 (old version)
λCS 251 Principles of Programming Languages
Fall 2015, Spring 2015
CS 301 Compiler and Runtime System Design
Spring 2016
UW CSE 351 The Hardware/Software Interface
Summer 2013
Systems Reading Club
Fall 2016

Research Students

Valerie Zhao '18
Tradeoffs in Dynamic Binary Instrumentation, 2017-
Thread Ownership Policy Checking, spring 2017
Ella Chao '18
Thread Ownership Policy Annotations, spring 2017
Sam Mincheva '17
Kasey Shen '17
Thread Ownership Profiling, spring 2017
Profiling Synchronization Patterns in Multithreaded Programs, 2015-2016
2nd place, undergraduate research competition, CCSCNE 2016
Sunnia Ye '17
Profiling Tools for Multithreaded Programs, 2015


Conference Papers

Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman
OOPSLA 2017: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2017
Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti
MICRO 2017: IEEE/ACM International Symposium on Microarchitecture, October 2017
CC 2017: International Conference on Compiler Construction, February 2017
Benjamin P. Wood, Luis Ceze, Dan Grossman
ASPLOS 2014: International Conference on Architectural Support for Programming Languages and Operating Systems, March 2014
Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
ISCA 2012: ACM/IEEE International Syposium on Computer Architecture, June 2012
ECOOP 2012: European Conference on Object-Oriented Programming, June 2012
Brandon Lucia, Benjamin P. Wood, Luis Ceze
PLDI 2011: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2011
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman
OOPSLA 2010: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2010

Workshop Papers

HPPC 2011: Workshop on Hardware Support for Parallel Program Correctness (with MICRO), December 2011
text: local
Benjamin P. Wood, Luis Ceze, Dan Grossman
MSPC 2011: ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (with PLDI), June 2011

Technical Reports and Theses

Benjamin P. Wood (advised by Dan Grossman, Luis Ceze)
PhD dissertation, University of Washington Computer Science & Engineering, August 2014
text: local
Benjamin P. Wood, Joseph Devietti, Luis Ceze, Dan Grossman
Technical Report UW-CSE-09-05-02, University of Washington, May 2009
text: local
Benjamin P. Wood (advised by Stephen N. Freund)
Undergraduate Thesis, Williams College, May 2008
text: local

Serious Fun

CSICSOCS General Chair: 2016, 2017

Benjamin P. Wood, Brandon Lucia, Tom Bergan, Jacob Nelson, Adrian Sampson
POCSCI 2013: UW CSE Symposium on Potentially Computer Science, May 2013
talk: video text: draft
New World Order? No! Multicore Memory Models for the Masses!
POCSCI 2011: UW CSE Symposium on Potentially Computer Science, June 2011
Past: PhD @ UW CSE with Dan Grossman + Luis Ceze / PLSE + Sampa; BA @ Williams College in CS (with Steve Freund) and music.