conf.researchr.org / Tristan Knoth
Registered user since Tue 30 Jun 2020
Name: Tristan Knoth
Affiliation: University of California at San Diego, USA
Contributions
| ICFP 2020 | Author of Liquid Resource Types within the Research Papers-track |
| PLDI 2019 | Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track |