Anders Miltner -

Registered user since Thu 2 Nov 2017

Name: Anders Miltner

Bio: Grad Student at Princeton

Country: United States

Affiliation: Princeton University, USA

Personal website: http://www.cs.princeton.edu/~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