Registered user since Sun 16 Jan 2022

Name:Danya Lette
Affiliation:University of Toronto

Contributions

PLDI 2022 Recursion Synthesis with Unrealizability Witnesses
Show activities from other conferences

PLDI 2022-profile
View general profile