Login / Signup
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