Concepedia

Anders Miltner

AM

Statistics

Publications

3

Citations

91

H-Index

3

Active since

2018

Affiliations

Princeton University(Current)

Anders Miltner is an author at Princeton University specializing in program analysis, engineering, and computer science.

ORCID

Top concepts

Publications per year

2018–2022

3

Publications

3

On the fly synthesis of edit suggestions

Anders Miltner, Sumit Gulwani, Vu Le et al. · Proceedings of the ACM on Programming Languages · 2019 · 48 citations · Full text

, , +21

Bottom-up synthesis of recursive functional programs using angelic execution

Anders Miltner, Adrian Trejo Nuñez, Ana Brendel et al. · Proceedings of the ACM on Programming Languages · 2022 · 32 citations · Full text

, , +16

Synthesizing quotient lenses

Solomon Maina, Anders Miltner, Kathleen Fisher et al. · Proceedings of the ACM on Programming Languages · 2018 · 11 citations · Full text

, , +18

1–3 of 3