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