Benjamin P. Wood
Science Center S580
benjamin.wood@wellesley.edu

Research
Current projects include software and hardware support for general low-level dynamic analysis and data race freedom checking.
The ATLAS lab at Wellesley CS 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.![BPW photo: bug-finding with an old USGS quad in Upper Ice Lake basin, Entiat Mountains. I will buy you the paper USGS quad of your choice if you can correctly identify the [different] map location of the bug. ATLAS](/~bpw/images/atlas-wide-2x.jpg)
240
301
Courses
- ☲CS 111 Computer Programming & Problem Solving
- Spring 2017
- ☍CS 230 Data Structures
- Fall 2014
- ⚙CS 240 Foundations of Computer Systems
- Spring 2019 Fall 2018 Spring 2017 Fall 2016 Spring 2016 Fall 2015 Spring 2015 Fall 2014
- λCS 251 Principles of Programming Languages
- Fall 2015 Spring 2015
- ⚒CS 301 Compiler and Runtime System Design
- Spring 2019 Spring 2016
- SRC Systems Reading Club
- Fall 2016
- UW CSE 351 The Hardware/Software Interface
- Summer 2013
Publications
Conference Papers
OOPSLA 2017:
ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications,
October 2017
MICRO 2017:
IEEE/ACM International Symposium on Microarchitecture,
October 2017
CC 2017:
International Conference on Compiler Construction,
February 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
Technical Report UW-CSE-09-05-02, University of Washington,
May 2009
text:
local
Undergraduate Thesis, Williams College,
May 2008
text:
local
Serious Fun
CSICSOCS General Chair: 2016, 2017
POCSCI 2013:
UW CSE Symposium on Potentially Computer Science,
May 2013
New World Order? No! Multicore Memory Models for the Masses!
POCSCI 2011:
UW CSE Symposium on Potentially Computer Science,
June 2011
