- On research leave 2017-2018
- Valerie Zhao '18 CRA Honorable Mention
- GE Grant
- Valerie Zhao '18 @ SPLASH 2017 SRC
- FIB @ OOPSLA 2017
- 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.
Valerie Zhao ‘18 received an Honorable Mention in the 2018 CRA Outstanding Undergraduate Researcher Awards.
GE Global Research and Edison Pioneer Award winner Diwakar Kasibhotla made a generous grant to support our work on flexible and effective data race freedom checking.
Valerie Zhao ‘18 won 3rd place in the SPLASH 2017 Student Research Competition (undergraduate division), where she presented a poster and talk on her summer REU work at CMU with Darya Melicher and Jonathan Aldrich.
Our paper on instrumentation bias for efficient and safe software support for dynamic data race detection in FIB (with Man Cao at Google, Mike Bond at Ohio State, and Dan Grossman at UW) will appear at OOPSLA 2017 in October.
- 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 building reliable 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 in multithreaded programs.
- ☲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
Tradeoffs in Dynamic Binary Instrumentation, 2017-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