SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
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: http://people.csail.mit.edu/feser/

Research interests: Automated Program Synthesis, Program Analysis

Contributions

SPLASH 2020Author of Deductive Optimization of Relational Data Storage within the OOPSLA-track
Show activities from other conferences

Using general profile