Background
I did my PhD on typed functional programming at UCSD with the Programming Systems Group, advised by Nadia Polikarpova. I wrote a dissertation about rich type systems and their use in program synthesis. As an undergrad I studied Computer Science and Mathematics at Grinnell College in Iowa. There, I worked on high-speed GPU algorithms for order statistic selection with Jeffrey Blanchard.
Teaching
CSE 130 (Fall 2022)CSE 20 (Summer Session 2 2021)
Publications
-
Liquid Resource Types
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, and Nadia Polikarpova
ICFP 2020
-
Resource-Guided Program Synthesis
Tristan Knoth, Di Wang, Nadia Polikarpova, and Jan Hoffmann
PLDI 2019