Thu 8 Nov 2018 11:37 - 12:00 at Horizons 6-9F - Repair and Synthesis Chair(s): Shahar Maoz

Datalog has witnessed promising applications in a variety of domains. We propose a programming-by-example system, ALPS, to synthesize Datalog programs from input-output examples. Scaling synthesis to realistic programs in this manner is challenging due to the rich expressivity of Datalog. We present a syntax-guided synthesis approach that prunes the search space by exploiting the observation that in practice Datalog programs comprise rules that have similar latent syntactic structure. We evaluate ALPS on a suite of 34 benchmarks from three domains—knowledge discovery, program analysis, and database queries. The evaluation shows that ALPS can synthesize 33 of these benchmarks, and outperforms the state-of-the-art tools Metagol and Zaatar, which can synthesize only up to 10 of the benchmarks.

Thu 8 Nov

fse-2018-research-papers
10:30 - 12:00: Research Papers - Repair and Synthesis at Horizons 6-9F
Chair(s): Shahar MaozTel Aviv University
fse-2018-Journal-First10:30 - 10:52
Talk
Kevin MoranCollege of William & Mary, Carlos Bernal-CárdenasWilliam and Mary, Michael Curcio, Richard Bonett, Denys PoshyvanykWilliam and Mary
DOI Pre-print Media Attached
fse-2018-research-papers10:52 - 11:15
Talk
fse-2018-research-papers11:15 - 11:37
Research paper
Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia
Pre-print Media Attached
fse-2018-research-papers11:37 - 12:00
Talk
Xujie SiUniversity of Pennsylvania, Woosuk LeeUniversity of Pennsylvania, USA, Richard ZhangUniversity of Pennsylvania, Aws AlbarghouthiUniversity of Wisconsin-Madison, Paraschos KoutrisUniversity of Wisconsin-Madison, USA, Mayur NaikUniversity of Pennsylvania