Anders Miltner -

Registered user since Thu 2 Nov 2017

Name: Anders Miltner

Bio: Postdoctoral Fellow at UT Austin. PhD from Princeton University.

Country: United States

Affiliation: The University of Texas at Austin, Texas, USA

Personal website: https://www.cs.utexas.edu/~amiltner/

Twitter: https://twitter.com/andersmiltner

GitHub: https://github.com/amiltner

Research interests: Program Synthesis, Bidirectional Programming, Language Design, Domain-Specific Languages, IDE Tools

Contributions

ICFP 2021	Student Research Competition Chair in Organizing Committee
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PLDI 2020	Author of Data-Driven Inference of Representation Invariants within the PLDI Research Papers-track
SPLASH 2019	Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track Author of On the Fly Synthesis of Edit Suggestions within the Posters-track Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track
ICFP 2019	Author of Synthesizing Symmetric Lenses within the Research Papers-track
ICFP 2018	Author of Synthesizing Quotient Lenses within the Research Papers-track
POPL 2018	Author of Synthesizing Bijective Lenses within the Artifact Evaluation-track Author of Synthesizing Bijective Lenses within the Research Papers-track
PLDI 2017	Committee Member in Artifact Evaluation Committee