Tristan Knoth

Identifiers

• name variant Tristan Knoth 0.50 · backfill

Papers (1)

1. Resource-Guided Program Synthesis cs.PL · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Di Wang 1 shared papers
• Jan Hoffmann 1 shared papers
• Nadia Polikarpova 1 shared papers