Anders Miltner

According to our database, Anders Miltner authored at least 12 papers between 2018 and 2024.

Collaborative distances:

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

2024

Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.

Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Saggitarius: A DSL for Specifying Grammatical Domains.

Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker

Proc. ACM Program. Lang., October, 2023

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

IACR Cryptol. ePrint Arch., 2023

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

Technical Report: Match-reference regular expressions and lenses.

Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker

CoRR, 2022

2020

Synthesizing Lenses

Anders Miltner

PhD thesis, 2020

Data-driven inference of representation invariants.

Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Synthesizing symmetric lenses.

Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2019

On the fly synthesis of edit suggestions.

Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa

Proc. ACM Program. Lang., 2019

2018

Synthesizing bijective lenses.

Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2018

Synthesizing quotient lenses.

Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2018

Program Synthesis Through Reinforcement Learning Guided Tree Search.

Riley Simmons-Edler, Anders Miltner, H. Sebastian Seung

CoRR, 2018