Just Be(e)n...
untethered untitled unaffiliated often offline outdoors
- 2022-2023: did some hiking ≈ R🜨
- 2021-2022: toggled mode from academic back to adventure
- Before: did some titled tenure-track technical things
About
I am an intermittent academic and self-powered traveler. I served several years as Anchor Point 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. As of mid-2023, this foray has yielded nearly an Earth radius of hiking, including my second walk from Canada to Mexico (a decade after my first), among other projects.
Research
ATLAS: program analysis tools to find and prevent bugs without getting lost, working in programming languages, compilers, runtime systems, and computer architectures.
Courses
Wellesley College (Faculty, 2014-2021)
- =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 (PhD, 2008-2014)
- 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