63 0

Full metadata record

DC FieldValueLanguage
dc.contributor.author이우석-
dc.date.accessioned2021-12-23T04:23:43Z-
dc.date.available2021-12-23T04:23:43Z-
dc.date.issued2021-01-
dc.identifier.citationProceedings of the ACM on Programming Languages, v. 5, Article no. 54, Page. 1-28en_US
dc.identifier.issn2475-1421-
dc.identifier.urihttps://dl.acm.org/doi/abs/10.1145/3434335-
dc.identifier.urihttps://repository.hanyang.ac.kr/handle/20.500.11754/167033-
dc.description.abstractWe present an effective method for scalable and general-purpose inductive program synthesis. There have been two main approaches for inductive synthesis: enumerative search, which repeatedly enumerates possible candidate programs, and the top-down propagation (TDP), which recursively decomposes a given large synthesis problem into smaller subproblems. Enumerative search is generally applicable but limited in scalability, and the TDP is efficient but only works for special grammars or applications. In this paper, we synergistically combine the two approaches. We generate small program subexpressions via enumerative search and put them together into the desired program by using the TDP. Enumerative search enables to bring the power of TDP into arbitrary grammars, and the TDP helps to overcome the limited scalability of enumerative search. We apply our approach to a standard formulation, syntax-guided synthesis (SyGuS), thereby supporting a broad class of inductive synthesis problems. We have implemented our approach in a tool called Duet and evaluate it on SyGuS benchmark problems from various domains. We show that Duet achieves significant performance gains over existing general-purpose as well as domain-specific synthesizers.en_US
dc.language.isoen_USen_US
dc.publisherACMen_US
dc.titleCombining the top-down propagation and bottom-up enumeration for inductive program synthesisen_US
dc.typeArticleen_US
dc.relation.no54-
dc.identifier.doi10.1145/3434335-
dc.relation.page1-28-
dc.contributor.googleauthorLee, Woosuk-
dc.relation.code20210004-
dc.sector.campusE-
dc.sector.daehakCOLLEGE OF COMPUTING[E]-
dc.sector.departmentDIVISION OF COMPUTER SCIENCE-
dc.identifier.pidwoosuk-
Appears in Collections:
ETC[S] > 연구정보
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE