Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 이우석 | - |
dc.date.accessioned | 2019-05-23T01:58:01Z | - |
dc.date.available | 2019-05-23T01:58:01Z | - |
dc.date.issued | 2018-11 | - |
dc.identifier.citation | ESEC/FSE 2018 Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Page. 515-527 | en_US |
dc.identifier.isbn | 978-1-4503-5573-5 | - |
dc.identifier.uri | https://dl.acm.org/citation.cfm?id=3236034 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/105784 | - |
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 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. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | ACM | en_US |
dc.subject | Active learning | en_US |
dc.subject | Datalog | en_US |
dc.subject | Program analysis | en_US |
dc.subject | Syntax-guided synthesis | en_US |
dc.subject | Template augmentation | en_US |
dc.title | Syntax-guided synthesis of Datalog programs | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1145/3236024.3236034 | - |
dc.relation.page | 515-527 | - |
dc.contributor.googleauthor | Si, Xujie | - |
dc.contributor.googleauthor | Lee, Woosuk | - |
dc.contributor.googleauthor | Zhang, Richard | - |
dc.contributor.googleauthor | Albarghouthi, Aws | - |
dc.contributor.googleauthor | Koutris, Paraschos | - |
dc.contributor.googleauthor | Naik, Mayur | - |
dc.relation.code | 20180034 | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF COMPUTING[E] | - |
dc.sector.department | DIVISION OF COMPUTER SCIENCE | - |
dc.identifier.pid | woosuk | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.