ML p(r)ior | Results and Analysis of SyGuS-Comp'15

### Results and Analysis of SyGuS-Comp'15

2016-02-03
1602.01170 | cs.PL
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula $\varphi$ in a background theory T, and a syntactic constraint given by a grammar G, which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in 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 this year's competition we added two specialized tracks: a track for conditional linear arithmetic, where the grammar need not be specified and is implicitly assumed to be that of the LIA logic of SMT-LIB, and a track for invariant synthesis problems, with special constructs conforming to the structure of an invariant synthesis problem. This paper presents and analyzes the results of SyGuS-comp'15.

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations

# Related Articles

2014-10-17
1410.4821 | math.OC

This paper describes Convex, a convex optimization modeling framework in Julia. Convex translates pr… show more

Highlights - Most important sentences from the article

2017-11-09
1711.03243 | cs.AI

Program synthesis is a class of regression problems where one seeks a solution, in the form of a sou… show more

Highlights - Most important sentences from the article

2018-11-26
1811.10665 | cs.AI

Inductive program synthesis, from input/output examples, can provide an opportunity to automatically… show more

Highlights - Most important sentences from the article

2019-04-19
1904.09134 | cs.AI

Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic pr… show more

Highlights - Most important sentences from the article

2019-04-05
1904.02830 | cs.NE

This paper presents Automatic Algorithm Discoverer (AAD), an evolutionary framework for synthesizing… show more

Highlights - Most important sentences from the article

2019-02-12
1902.04373 | cs.LO

We present a sound and complete method to generate inductive invariants consisting of polynomial ine… show more

Highlights - Most important sentences from the article

2019-04-15
1904.07736 | cs.LO

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchma… show more

Highlights - Most important sentences from the article

2019-04-12
1904.07146 | cs.PL

Syntax-guided synthesis (SyGuS) is the computational problem of finding an implementation $f$ that m… show more

Highlights - Most important sentences from the article

2018-09-03
1809.00626 | cs.SE

This paper presents results from the development and evaluation of a deductive verification benchmar… show more

Highlights - Most important sentences from the article

2018-07-29
1807.11103 | cs.LO

We present an exact synthesis approach for computing Exclusive-or Sum-of-Products (ESOP) forms with … show more

Highlights - Most important sentences from the article

2019-02-27
1905.04099 | cs.NE

Evolutionary algorithms have been widely applied for solving dynamic constrained optimization proble… show more

Highlights - Most important sentences from the article

2018-06-12
1806.04563 | cs.NE

Benchmarking plays an important role in the development of novel search algorithms as well as for th… show more

Highlights - Most important sentences from the article

2018-10-02
1810.02196 | cs.AI

Many optimization problems admit a number of local optima, among which there is the global optimum. … show more

Highlights - Most important sentences from the article

2018-11-07
1811.03167 | cs.FL

The design and implementation of decision procedures for checking path feasibility in string-manipul… show more

Highlights - Most important sentences from the article

2017-09-13
1709.04494 | math.OC

We describe a modular rewriting system for translating optimization problems written in a domain-spe… show more

Highlights - Most important sentences from the article

2018-12-13
1812.05534 | cs.NI

Network Function Virtualization (NFV) and Software Defined Networking (SDN) are technologies that re… show more