Syntax-guided synthesis of datalog programs
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Si, X. | - |
dc.contributor.author | Lee, W. | - |
dc.contributor.author | Zhang, R. | - |
dc.contributor.author | Albarghouthi, A. | - |
dc.contributor.author | Koutris, P. | - |
dc.contributor.author | Naik, M. | - |
dc.date.accessioned | 2021-06-22T13:02:19Z | - |
dc.date.available | 2021-06-22T13:02:19Z | - |
dc.date.created | 2021-01-22 | - |
dc.date.issued | 2018-10 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/7903 | - |
dc.description.abstract | 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 domainsDknowledge 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. © 2018 Association for Computing Machinery. | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.publisher | Association for Computing Machinery, Inc | - |
dc.title | Syntax-guided synthesis of datalog programs | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Lee, W. | - |
dc.identifier.doi | 10.1145/3236024.3236034 | - |
dc.identifier.scopusid | 2-s2.0-85058339419 | - |
dc.identifier.wosid | 000460371900046 | - |
dc.identifier.bibliographicCitation | ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.515 - 527 | - |
dc.relation.isPartOf | ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering | - |
dc.citation.title | ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering | - |
dc.citation.startPage | 515 | - |
dc.citation.endPage | 527 | - |
dc.type.rims | ART | - |
dc.type.docType | Conference Paper | - |
dc.description.journalClass | 3 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | other | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordPlus | Query languages | - |
dc.subject.keywordPlus | Syntactics | - |
dc.subject.keywordPlus | Active Learning | - |
dc.subject.keywordPlus | Datalog | - |
dc.subject.keywordPlus | Datalog programs | - |
dc.subject.keywordPlus | Program analysis | - |
dc.subject.keywordPlus | Programming by Example | - |
dc.subject.keywordPlus | Realistic projects | - |
dc.subject.keywordPlus | Syntactic structure | - |
dc.subject.keywordPlus | Template augmentation | - |
dc.subject.keywordPlus | Input output programs | - |
dc.subject.keywordAuthor | Active learning | - |
dc.subject.keywordAuthor | Datalog | - |
dc.subject.keywordAuthor | Program analysis | - |
dc.subject.keywordAuthor | Syntax-guided synthesis | - |
dc.subject.keywordAuthor | Template augmentation | - |
dc.identifier.url | https://dl.acm.org/doi/10.1145/3236024.3236034 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.