SyGuS-Comp 2018: Results and Analysis
Abstract
Syntax-guided synthesis (SyGuS) is the computational problem of finding an implementation that meets both a semantic constraint given by a logical formula in a background theory , and a syntactic constraint given by a grammar , which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in the SyGuS input format (SyGuS-IF), a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In the 5th SyGuS-Comp, five solvers competed on over 1600 benchmarks across various tracks. This paper presents and analyses the results of this year's (2018) SyGuS competition.
Cite
@article{arxiv.1904.07146,
title = {SyGuS-Comp 2018: Results and Analysis},
author = {Rajeev Alur and Dana Fisman and Saswat Padhi and Rishabh Singh and Abhishek Udupa},
journal= {arXiv preprint arXiv:1904.07146},
year = {2019}
}
Comments
18 pages. Satellite event of CAV'18 and SYNT'18. arXiv admin note: substantial text overlap with arXiv:1711.11438