Tristan Knoth -

Registered user since Tue 30 Jun 2020

Name:Tristan Knoth

Affiliation:University of California at San Diego, USA

Contributions

PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2020	Author of Liquid Resource Types within the ICFP Program-track
PLDI 2019	Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track