Optimizing synthesis with metasketches.

James Bornholt Emina Torlak Dan Grossman Luis Ceze

Published in: POPL (2016)

Keyphrases

program synthesis
texture synthesis
database
search engine
case study
database systems
feature extraction
high quality
reinforcement learning
relational databases
mobile devices
management system