Tristan Knoth

According to our database, Tristan Knoth authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Type-Directed Program Synthesis

Tristan Knoth

PhD thesis, 2023

2020

Liquid resource types.

Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

2019

Resource-guided program synthesis.

Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019