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

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

Contributions

PLDI 2022	Committee Member in PLDI within the PLDI-track
POPL 2022	Author of Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution within the POPL-track
SPLASH 2021	Session Chair of OOPSLA 2020 Papers 3 (part of SIGPLAN Papers) Author of Data-Driven Inference of Representation Invariants within the SIGPLAN Papers-track
ICFP 2021	Student Research Competition Chair in Program Committee within the Student Research Competition-track 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