The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potential benefits of allowing the user to supplement the logical specification with a syntactic template that constrains the space of allowed implementation. The motivation is twofold. First, narrowing the space of implementations makes the synthesis problem more tractable. Second, providing a specific syntax can potentially lead to better optimizations.
The SyGuS-Comp competition will allow solvers of the syntax-guided synthesis problem to compete on a collection of benchmarks. The motivation behind the competition is to propagate and advance research and tools on the subject.
The second SyGuS Comeptition SyGuS-COMP 2015, was held in conjunction with CAV and SYNT in July 2015, San Francisco, California, USA.
The third SyGuS Competition SyGuS-COMP 2016 was held in conjunction with CAV and SYNT in July 2016, Toronto, Ontario, Canada.
Planning for the forth SyGuS competition will commence around January 2017. Feel free to write us anytime with questions and suggestions email@example.com.