Program Synthesis Through Reinforcement Learning Guided Tree Search. - Riley Simmons-Edler; Anders Miltner; H. Sebastian Seung (CoRR, 2018)

Synthesizing quotient lenses. - Solomon Maina; Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2018)

Synthesizing bijective lenses. - Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2018)

On the fly synthesis of edit suggestions. - Anders Miltner; Sumit Gulwani; Vu Le 002; Alan Leung; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001; Abhishek Udupa (Proc. ACM Program. Lang., 2019)

Synthesizing symmetric lenses. - Anders Miltner; Solomon Maina; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2019)

Data-driven inference of representation invariants. - Anders Miltner; Saswat Padhi; Todd D. Millstein; David Walker 001 (PLDI, 2020)

Synthesizing Lenses - Anders Miltner (2020)

Technical Report: Match-reference regular expressions and lenses. - Jeanne-Marie Musca; Anders Miltner; Kathleen Fisher; David Walker 001 (CoRR, 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)

Certifying Zero-Knowledge Circuits with Refinement Types. - Junrui Liu; Ian Kretz; Hanzhi Liu; Bryan Tan; Jonathan Wang; Yi Sun; Luke Pearson; Anders Miltner; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)

Saggitarius: A DSL for Specifying Grammatical Domains. - Anders Miltner; Devon Loehr; Arnold Mong; Kathleen Fisher; David Walker 001 (Proc. ACM Program. Lang., 2023)

Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. - Anders Miltner; Ziteng Wang; Swarat Chaudhuri; Isil Dillig (CAV (3), 2024)