Registered user since Fri 16 Nov 2018
Name: John Feser
Bio: 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: MIT CSAIL
Personal website: http://people.csail.mit.edu/feser/
Research interests: Automated Program Synthesis, Program Analysis
|SPLASH 2020||Author of Deductive Optimization of Relational Data Storage within the OOPSLA-track|
|Show activities from other conferences|