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:Massachusetts Institute of Technology

Personal website:http://people.csail.mit.edu/feser/

Research interests:Automated Program Synthesis, Program Analysis

Contributions

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