Registered user since Tue 30 Jun 2020

Name: Tristan Knoth

Affiliation: University of California at San Diego, USA

Contributions

ICFP 2020Author of Liquid Resource Types within the Research Papers-track
PLDI 2019Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track