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
|SPLASH 2021||Data-Driven Inference of Representation Invariants|
|Show activities from other conferences|
Using general profile