Anders Miltner

Registered user since Thu 2 Nov 2017

Name:Anders Miltner

Postdoctoral Fellow at UT Austin. PhD from Princeton University.

Country:United States
Affiliation:University of Texas at Austin
Research interests:Program Synthesis, Bidirectional Programming, Language Design, Domain-Specific Languages, IDE Tools


POPL 2022 Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution
Show activities from other conferences

POPL 2022-profile
View general profile