Registered user since Fri 16 Nov 2018
John Feser is a PhD student in the Computer Science and Artificial Intelligence Laboratory at MIT, advised by Armando Solar-Lezama. He is interested in program synthesis and databases.
Affiliation:Massachusetts Institute of Technology
Research interests:Automated Program Synthesis, Program Analysis
|SPLASH 2021||Deductive Optimization of Relational Data Storage|
|Show activities from other conferences|
Using general profile