Follow
Adrian Trejo Nuñez
Adrian Trejo Nuñez
The University of Texas at Austin
Verified email at cs.utexas.edu - Homepage
Title
Cited by
Cited by
Year
Bottom-up synthesis of recursive functional programs using angelic execution
A Miltner, AT Nuñez, A Brendel, S Chaudhuri, I Dillig
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
302022
Cubic formula size lower bounds based on compositions with majority
A Gál, A Tal, A Trejo Nuñez
Innovations in Theoretical Computer Science Conference (ITCS), 2019
82019
The system can't perform the operation now. Try again later.
Articles 1–2