Benjamin P. Wood

Assistant Professor
Computer Science, Wellesley College
Office: in the clouds
I ❤️ 240.  i & 0xF0.  I masked with 240.researching unaugmented actual reality


Current projects include software and hardware support for general low-level dynamic analysis and data race freedom checking.

The ATLAS lab builds program analysis tools to find and prevent bugs without getting lost. We work across the implementation stack to develop program analysis support in programming languages, compilers, runtime systems, and computer architectures.



=CS 111 Computer Programming & Problem Solving
Fall 2019, Spring 2017
CS 230 Data Structures
Fall 2014
CS 240 Foundations of Computer Systems
Fall 2021, Spring 2021 T3, Fall 2020 T1, Spring 2020, Spring 2019, Fall 2018, Spring 2017, Fall 2016, Spring 2016, Fall 2015, Spring 2015, Fall 2014
λCS 251 Principles of Programming Languages
Spring 2020, Fall 2019, Fall 2015, Spring 2015
CS 301 Compilers and Runtime Systems
Spring 2021 T4, Spring 2019, Spring 2016
CS 341 Operating Systems
Fall 2020 T2
SRC Systems Reading Club
Fall 2016
UW CSE 351 The Hardware/Software Interface
Summer 2013


Conference Papers

OOPSLA 2017: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2017
ASPLOS 2014: International Conference on Architectural Support for Programming Languages and Operating Systems, March 2014
ISCA 2012: ACM/IEEE International Syposium on Computer Architecture, June 2012
ECOOP 2012: European Conference on Object-Oriented Programming, June 2012
PLDI 2011: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2011
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
MSPC 2011: ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (with PLDI), June 2011

Technical Reports and Theses

PhD dissertation, University of Washington Computer Science & Engineering, August 2014
text: local

Serious Fun

CSICSOCS General Chair: 2016, 2017

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