Adrian Trejo Nuñez

According to our database, Adrian Trejo Nuñez authored at least 2 papers between 2019 and 2022.

Collaborative distances:

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

2022

Bottom-up synthesis of recursive functional programs using angelic execution.

Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig

Proc. ACM Program. Lang., 2022

2019

Cubic Formula Size Lower Bounds Based on Compositions with Majority.

Anna Gál, Avishay Tal, Adrian Trejo Nuñez

Proceedings of the 10th Innovations in Theoretical Computer Science Conference, 2019