Registered user since Thu 2 Nov 2017
Postdoctoral Fellow at UT Austin. PhD from Princeton University.
Affiliation:The University of Texas at Austin, Texas, USA
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|
Using general profile