Anders Miltner

Graduate Student


I am a third year graduate student in Programming Languages at Princeton University's Computer Science department. My advisor is David Walker.

Research Interests

I am very interested in how program synthesis can change how programmers interact with computers. When I worked in industry, most of my time was spent on the tedious aspects of code, like data conversion and API discovery, with little time spent on implementing the core algorithms. Through program synthesis, tools can automate much of this work, allowing programmers to spend less time on tedious aspects of code, and more time on implementing core algorithms.


Optician - we synthesize bijective data transformations from regular expression specifications and input output examples. Paper Code


9/25/17 - Synthesizing Bijective Lenses was conditionally accepted into POPL 2018.

9/6/17 - Synthesizing Bijective Lenses got first place in the 2017 ICFP Student Research Competition.


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