Optimizing synthesis with metasketches

@inproceedings{Bornholt2016OptimizingSW,
  title={Optimizing synthesis with metasketches},
  author={James Bornholt and Emina Torlak and Dan Grossman and Luis Ceze},
  booktitle={POPL},
  year={2016}
}
Many advanced programming tools---for both end-users and expert developers---rely on program synthesis to automatically generate implementations from high-level specifications. These tools often need to employ tricky, custom-built synthesis algorithms because they require synthesized programs to be not only correct, but also optimal with respect to a desired cost metric, such as program size. Finding these optimal solutions efficiently requires domain-specific search strategies, but existing… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS

8 Figures & Tables

Topics

Statistics

0102030201620172018
Citations per Year

Citation Velocity: 14

Averaging 14 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.