Anders Miltner

18 papers A* 2Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2024 A* conf
Certifying Zero-Knowledge Circuits with Refinement Types.
SP
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
2024 — conf
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.
CAV (3)
Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig
2023 J jnl
Certifying Zero-Knowledge Circuits with Refinement Types.
IACR Cryptol. ePrint Arch.
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
2023 J jnl
Saggitarius: A DSL for Specifying Grammatical Domains.
CoRR
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
2023 J jnl
Saggitarius: A DSL for Specifying Grammatical Domains.
Proc. ACM Program. Lang.
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
2022 J jnl
Bottom-up synthesis of recursive functional programs using angelic execution.
Proc. ACM Program. Lang.
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
2022 J jnl
Technical Report: Match-reference regular expressions and lenses.
CoRR
Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker
2021 J jnl
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution.
CoRR
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
2020 J jnl
Data-Driven Inference of Representation Invariants.
CoRR
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020 A* conf
Data-driven inference of representation invariants.
PLDI
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020 — —
Synthesizing Lenses
Anders Miltner
2019 J jnl
On the fly synthesis of edit suggestions.
Proc. ACM Program. Lang.
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
2019 J jnl
Synthesizing symmetric lenses.
Proc. ACM Program. Lang.
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018 J jnl
Program Synthesis Through Reinforcement Learning Guided Tree Search.
CoRR
Riley Simmons-Edler, Anders Miltner, H. Sebastian Seung
2018 J jnl
Synthesizing Symmetric Lenses.
CoRR
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018 J jnl
Synthesizing bijective lenses.
Proc. ACM Program. Lang.
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018 J jnl
Synthesizing quotient lenses.
Proc. ACM Program. Lang.
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2017 J jnl
Synthesizing Bijective Lenses.
CoRR
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic