- On research leave 2017-2018
- FIB @ OOPSLA 2017
- Valerie Zhao '18 @ SPLASH 2017 SRC
- PARSNIP @ MICRO 2017
- Sam Mincheva '17 defends thesis
- RaceChaser+Caper @ CC 2017
- Kasey Shen '17 @ CCSCNE 2016 SRC
I am on research leave until Fall 2018.
Our paper on instrumentation bias for efficient and safe software support for dynamic data race detection (with Man Cao at Google, Mike Bond at Ohio State, and Dan Grossman at UW) will appear at OOPSLA 2017 in October.
- August 2017:
- July 2017:
Sam Mincheva ‘17 successfully 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 Introduction to 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
TBD, 2017-2018Thread 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