I am on research leave until Fall 2018.
- July 2017:
Sam Mincheva ‘17 defended their undergraduate thesis on improving thread locality analysis for locksets.
- February 2017:
Kasey Shen ‘17 won 2nd place in the CCSCNE 2016 undergraduate research competition for her lock profiling work.
I design programming systems for reliable concurrent and parallel software. This work reaches across the implementation stack, involving programming languages, program analysis, compilers, runtime systems, and computer architecture.
Currently I am exploring adaptive techniques for efficient dynamic program analysis using both pure-software and hybrid software-hardware implementations, applied first to data-race detection.
- ☲CS 111 Computer Programming & 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
- Systems Reading Club
- Fall 2016
- Valerie Zhao '18
Thread Ownership Policy Checking, spring 2017
- Ella Chao '18
Thread Ownership Policy Annotations, spring 2017
- Sam Mincheva '17
Sound Thread Local Analysis for Lockset-Based Dynamic Data Race Detection, honors thesis, 2016-2017
- Kasey Shen '17
Thread Ownership Profiling, spring 2017Profiling Synchronization Patterns in Multithreaded Programs, 2015-20162nd place, undergraduate research competition, CCSCNE 2016
- Sunnia Ye '17
Profiling Tools for Multithreaded Programs, 2015