Ana Brendel

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Functional Programs

Term Rewriting Systems

Lazy Evaluation

Top Venues

Proc. ACM Program. Lang.

Publications

Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
Bottom-up synthesis of recursive functional programs using angelic execution. Proc. ACM Program. Lang. 6 (POPL) (2022)
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution. CoRR (2021)