conf.researchr.org / 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 PLDI 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