Anders Miltner

Registered user since Thu 2 Nov 2017

Name:Anders Miltner
Bio:

Postdoctoral Fellow at UT Austin. PhD from Princeton University.

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

Contributions

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

Using general profile