Students

PhD

UW Logo

Amy Zhu
Co-advised with Adriana Schulz
Joined Summer 2020

  • Rewrite Synthesis
  • PL for Knitting

Gus Smith

Gus Smith
Co-advised with Luis Ceze
Joined Autumn 2018

  • Custom Numeric Datatypes for ML Training
  • Hardware Software Co-design for ML Accelerators

Steven Lyubomirsky

Steven Lyubomirsky
Joined Autumn 2016

  • TVM Relay
  • Dynamic Tensor Rematerialization

UW Logo

Chandrakana Nandi
Co-advised with Dan Grossman
Joined Autumn 2015

  • Rewrite Synthesis
  • PL for 3D Printing and Carpentry

UW Logo

Jared Roesch
Joined Autumn 2015

Bill Zorn

Bill Zorn
Co-advised with Dan Grossman
Joined Autumn 2014

  • Floating-point Accuracy
  • Number Systems Analysis Tools

Undergraduate

UW Logo

Andrew Liu
Co-Advised with Gus Smith
Joined Summer 2020

  • Custom Numeric Datatypes for ML Training
  • Hardware Software Co-design for ML Accelerators

UW Logo

Brett Saiki
Co-Advised with Bill Zorn and Pavel Panchekha
Joined Winter 2019

  • Floating-point Accuracy
  • Mixed-precision Optimization

UW Logo

Mike He
Co-Advised with Steven Lyubomirsky
Joined Winter 2019

  • TVM Relay
  • Dynamic Tensor Rematerialization

UW Logo

Adam Anderson
Co-Advised with Chandrakana Nandi
Joined Summer 2017 (HS)

  • Rewrite Synthesis
  • PL for 3D Printing and Carpentry

High School

UW Logo

Grace Oh
Co-Advised with Josh Pollock and Eunice Jun
Joined Summer 2020

  • Program State Visualization
  • CS Education

 

Graduated Students

PhD

Masters

Undergraduate

High School

Co-advised with:

  1. Dan Grossman
  2. Michael Ernst
  3. Tom Anderson
  4. Xi Wang
  5. Luis Ceze
  6. Adriana Schulz
  7. Pavel Panchekha