Programmable Program Synthesis
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, and Thomas Reps
Program synthesis is now a reality, and we are approaching the point where
domain-specific synthesizers can now handle problems of practical sizes.
Moreover, some of these tools are finding adoption in industry.
However, for synthesis to become a mainstream technique adopted at
large by programmers as well as by end-users, we need to design
programmable synthesis frameworks that
(i) are not tailored to specific domains or languages,
(ii) enable one to specify synthesis problems with a variety of qualitative and quantitative objectives in mind, and
(iii) come equipped with theoretical as well as practical guarantees.
We report on our work on designing such frameworks and on building
synthesis engines that can handle program-synthesis problems
describable in such frameworks, and describe open challenges and opportunities.
(Click here to access the paper:
PDF.)
University of Wisconsin