researching unaugmented actual reality glasses

Benjamin P. Wood

Assistant Professor (call me "Ben"),
Computer Science, Wellesley College
Science Center E128
benjamin.wood@wellesley.edu
Email first to speak on the phone.

Courses

CS 111, Computer Programming and Problem Solving
Spring 2017
☍ CS 230, Data Structures
Fall 2014
⚙ CS 240, Foundations of Computer Systems
(formerly Intro to Computer Systems/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

Spring 2017

CS 111, ⚙ CS 240, Systems Reading Club

Office Hours (Tentative)

  • Monday 4:00pm - 5:00pm
  • Wednesday 3:00pm - 5:00pm
  • Thursday 4:00pm - 5:00pm,
  • and by appointment

I reserve Fridays and some Tuesday and Wednesday mornings for research work.

Research

I design tools to help programmers build more reliable concurrent and parallel software. This work reaches across the implementation stack, involving programming languages and models, program analysis, compilers, run-time systems, and computer architecture.

Conference Papers

Lightweight Data Race Detection for Production Runs
Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood
CC 2017: International Conference on Compiler Construction, February 2017
RaceChaser and Caper

Low-Level Detection of Language-Level Data Races with LARD
Benjamin P. Wood, Luis Ceze, and Dan Grossman
ASPLOS 2014: International Conference on Architectural Support for Programming Languages and Operating Systems, March 2014

RADISH: Always-On Sound and Complete Race Detection in Software and Hardware
Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, and Shaz Qadeer
ISCA 2012: ACM/IEEE International Syposium on Computer Architecture, June 2012
Extended Tech Report

Cloud Types for Eventual Consistency
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Benjamin P. Wood
ECOOP 2012: European Conference on Object-Oriented Programming, June 2012

Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments
Brandon Lucia, Benjamin P. Wood, and Luis Ceze
PLDI 2011: ACM SIGPLAN 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, and Dan Grossman
OOPSLA 2010: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2010
Talk: Keynote    PDF    Code: OshaJava

Workshop Papers

Greedy Coherence
Emily Fortuna, Brandon Lucia, Adrian Sampson, Benjamin P. Wood, and Luis Ceze
HPPC 2011: Workshop on Hardware Support for Parallel Program Correctness, December 2011 (with MICRO 44)

Data-Race Exceptions Have Benefits Beyond the Memory Model
Benjamin P. Wood, Luis Ceze, and Dan Grossman
MSPC 2011: ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, June 2011     
Talk: Keynote    PDF

Technical Reports and Theses

Software and Hardware Support for Data-Race Exceptions
Benjamin P. Wood    (advised by Dan Grossman and Luis Ceze)
PhD dissertation, University of Washington Computer Science & Engineering, 2014

Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs
Benjamin P. Wood, Joseph Devietti, Luis Ceze, and Dan Grossman
Technical Report UW-CSE-09-05-02, University of Washington, 2009

Hominy Grits: Specification and Inference of Synchronization Disciplines for Concurrent Programs
Benjamin P. Wood    (advised by Stephen N. Freund)
Undergraduate Thesis, Williams College, 2008

Research Students

Kasey Shen '17, 2015-2016
Profiling Synchronization Patterns in Multithreaded Programs.
2nd place, undergraduate research competition, CCSCNE 2016
Sunnia Ye '17, summer 2015
Profiling Tools for Multithreaded Programs

Serious Work

CSICSOCS 2016, General Chair

The Barnyard of Pig Data Research: A View from UW CSA
Benjamin P. Wood, Brandon Lucia, Tom Bergan, Jacob Nelson, and Adrian Sampson
PoCSci 2013: UW CSE Symposium on Potentially Computer Science
Talk: video

New World Order? No! Multicore Memory Models for the Masses!
Benjamin P. Wood, Emily Fortuna, Adrian Sampson, Tom Bergan, Brandon Lucia, Joseph Devietti, and Brandon Myers
PoCSci 2011: UW CSE Symposium on Potentially Computer Science
Talk: Keynote    PDF

Elsewhere: PhD @ UW CSE with Dan Grossman + Luis Ceze / PLSE + Sampa; internship @ MSR; BA @ Williams College in CS (with Steve Freund) and music.