Anders Miltner

Anders Miltner

Research Scientist
amiltner@cs.princeton.edu
CV

About

I am a Research Scientist in Programming Languages at UT Austin's Computer Science department. I am working with Işil Dillig and Swarat Chaudhuri.

Research Interests

I am very interested in how program synthesis can change how programmers interact with computers. I believe tools can automate many programming tasks, allowing programmers to spend less time on tedious aspects of code, and more time on implementing core algorithms.

Past Projects

Optician - Synthesizing data synchronization transformations from regular expression specifications and input output examples.

Blue-Pencil - Synthesizing repetitive document edits from observing user interactions with that document.

Papers

Synthesizing Lenses - Thesis Paper

Confluence in Lens Synthesis - IWC 2020 Paper

Data-Driven Inference of Representation Invariants - PLDI 2020 Paper Full Talk

On the Fly Synthesis of Edit Suggestions - OOPSLA 2019 Paper Talk

Synthesizing Symmetric Lenses - ICFP 2019 Paper Full Artifact

Program Synthesis Through Reinforcement Learning Guided Tree Search - Arxiv Paper

Synthesizing Quotient Lenses - ICFP 2018 Paper Artifact Talk

Synthesizing Bijective Lenses - POPL 2018 Paper Full Artifact Talk

Talks

Expanding the Power of Lens Synthesis - BX 2019 Slides

Awards and Grants

PLDI distinguished paper Award, 2020

ACM SIGPLAN PAC Award, 2019

ACM SIGPLAN PAC Award, 2018

First Place ICFP Student Research Competition, 2017

ACM SIGPLAN PAC award, 2017

Service

OOPSLA 2020 Artifact Evaluation Committee

BX 2019 Program Committee

ESOP 2019 External Reviewer

TOPLAS 2017 External Reviewer

PLDI 2017 Artifact Evaluation Committee

Updates

8/28/20 - I passed my thesis defense.

6/1/20 - Confluence in Lens Synthesis was accepted into IWC 2020.

5/13/20 - Data-Driven Inference of Representation Invariants got a distinguished paper award.

2/21/20 - Data-Driven Inference of Representation Invariants was conditionally accepted into PLDI 2020.

7/1/19 - On the Fly Synthesis of Code Edit Suggestions was conditionally accepted into OOPSLA 2019.

Scheduling

To make planning easier, I keep my schedule publicly available here.