Anders Miltner

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 17

Top Topics

Wide Angle Lenses

Efficient Inference

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. CAV (3) (2024)
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. CoRR (2023)
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. IACR Cryptol. ePrint Arch. 2023 (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. CoRR (2023)
Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker
Technical Report: Match-reference regular expressions and lenses. CoRR (2022)
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)
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
Data-Driven Inference of Representation Invariants. CoRR (2020)
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
Data-driven inference of representation invariants. PLDI (2020)
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Symmetric Lenses. CoRR (2018)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing bijective lenses. Proc. ACM Program. Lang. 2 (POPL) (2018)
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Riley Simmons-Edler, Anders Miltner, H. Sebastian Seung
Program Synthesis Through Reinforcement Learning Guided Tree Search. CoRR (2018)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Bijective Lenses. CoRR (2017)