Not registered as user yet

Name:Adrian Trejo Nuñez
Affiliation:The University of Texas at Austin

Contributions

POPL 2022 Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution
Show activities from other conferences

Using general profile