conf.researchr.org / Anders Miltner

Registered user since Thu 2 Nov 2017

Name: Anders Miltner

Affiliation: Princeton University

Personal website: http://www.cs.princeton.edu/~amiltner/

Contributions

SPLASH 2019Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track
Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track
ICFP 2019Author of Synthesizing Symmetric Lenses within the Research Papers-track
ICFP 2018Author of Synthesizing Quotient Lenses within the Research Papers-track
POPL 2018Author of Synthesizing Bijective Lenses within the Artifact Evaluation-track
Author of Synthesizing Bijective Lenses within the Research Papers-track
PLDI 2017Committee Member in Artifact Evaluation Committee