Ben Wood

Earth
Mail electrons to: here (at) emptymap.net

About

This is my dormant academic webpage. In the past, I was an assistant professor in computer science at Wellesley College. Instead of seeking the responsibilities of tenure there, I left in 2021 to live outside academic structures for a while, especially through self-powered travel. My personal website may or may not clarify my whereabouts.

Research

ATLAS Lab (archive), Publications

Topics: program analysis, compilers, runtime systems, programming languages, and their interaction with computer architecture

Courses

Wellesley College

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

University of Washington

CSE 351 The Hardware/Software Interface
Summer 2013

Publications

Conference Papers

Instrumentation Bias for Dynamic Data Race Detection
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
doi:10.1145/3133893 text: ACM DL Author-Izer institution local code: FIB
Low-Level Detection of Language-Level Data Races with LARD
Benjamin P. Wood, Luis Ceze, Dan Grossman
ASPLOS 2014: International Conference on Architectural Support for Programming Languages and Operating Systems, March 2014
doi:10.1145/2541940.2541955 text: ACM DL Author-Izer local
Cloud Types for Eventual Consistency
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Benjamin P. Wood
ECOOP 2012: European Conference on Object-Oriented Programming, June 2012
doi:10.1007/978-3-642-31057-7_14 text: institution local
Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments
Brandon Lucia, Benjamin P. Wood, Luis Ceze
PLDI 2011: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2011
doi:10.1145/1993498.1993543 text: ACM DL Author-Izer local code: Recon
Composable Specifications for Structured Shared-Memory Communication
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman
OOPSLA 2010: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2010
doi:10.1145/1869459.1869473 text: ACM DL Author-Izer local code: OshaJava slides: .key .pdf

Workshop Papers

Greedy Coherence
Emily Fortuna, Brandon Lucia, Adrian Sampson, Benjamin P. Wood, Luis Ceze
HPPC 2011: Workshop on Hardware Support for Parallel Program Correctness (with MICRO), December 2011
text: local
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 (with PLDI), June 2011
doi:10.1145/1988915.1988923 text: ACM DL Author-Izer local slides: .key .pdf

Technical Reports and Theses

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

Serious Fun

CSICSOCS General Chair: 2016, 2017
The Barnyard of Pig Data Research: A View from UW CSA
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!
Benjamin P. Wood, Emily Fortuna, Adrian Sampson, Tom Bergan, Brandon Lucia, Joseph Devietti, Brandon Myers
POCSCI 2011: UW CSE Symposium on Potentially Computer Science, June 2011