Anders Miltner -

Registered user since Thu 2 Nov 2017

Name:Anders Miltner

Bio:

Currently: Assistant Professor at Simon Fraser University. In the past: Postdoctoral Fellow at UT Austin. PhD from Princeton University.

Country:United States

Affiliation:Simon Fraser University

Personal website:https://www.cs.sfu.ca/~miltner/

Twitter:https://twitter.com/AndersMiltner

GitHub:https://github.com/amiltner

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

Contributions

PLDI 2023	Publicity Co-Chair in Organizing Committee
POPL 2023	Workshops Co-Chair in Organizing Committee
PLDI 2022	Session Chair of Hardware II (part of PLDI) 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