John Feser

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:

Research interests: Automated Program Synthesis, Program Analysis


SPLASH 2020Author of Deductive Optimization of Relational Data Storage within the OOPSLA-track
SPLASH 2019Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2018Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2015Author of Synthesizing Data Structure Transformations from Input-Output Examples within the Research Papers-track