Ana Brendel

According to our database, Ana Brendel authored at least 1 paper in 2022.

Collaborative distances:

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

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