DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Woosuk | ko |
dc.contributor.author | Heo, Kihong | ko |
dc.contributor.author | Alur, Rajeev | ko |
dc.contributor.author | Naik, Mayur | ko |
dc.date.accessioned | 2020-11-12T02:55:24Z | - |
dc.date.available | 2020-11-12T02:55:24Z | - |
dc.date.created | 2020-11-09 | - |
dc.date.created | 2020-11-09 | - |
dc.date.issued | 2018-06-18 | - |
dc.identifier.citation | 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.436 - 449 | - |
dc.identifier.issn | 0362-1340 | - |
dc.identifier.uri | http://hdl.handle.net/10203/277251 | - |
dc.description.abstract | A key challenge in program synthesis concerns how to efficiently search for the desired program in the space of possible programs. We propose a general approach to accelerate search-based program synthesis by biasing the search towards likely programs. Our approach targets a standard formulation, syntax-guided synthesis (SyGuS), by extending the grammar of possible programs with a probabilistic model dictating the likelihood of each program. We develop a weighted search algorithm to efficiently enumerate programs in order of their likelihood. We also propose a method based on transfer learning that enables to effectively learn a powerful model, called probabilistic higher order grammar, from known solutions in a domain. We have implemented our approach in a tool called Euphony and evaluate it on SyGuS benchmark problems from a variety of domains. We show that Euphony can learn good models using easily obtainable solutions, and achieves significant performance gains over existing general-purpose as well as domain-specific synthesizers. | - |
dc.language | English | - |
dc.publisher | Association for Computing Machinery | - |
dc.title | Accelerating search-based program synthesis using learned probabilistic models | - |
dc.type | Conference | - |
dc.identifier.wosid | 000452469600030 | - |
dc.identifier.scopusid | 2-s2.0-85049600714 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 436 | - |
dc.citation.endingpage | 449 | - |
dc.citation.publicationname | 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018 | - |
dc.identifier.conferencecountry | US | - |
dc.identifier.conferencelocation | Philadelphia | - |
dc.identifier.doi | 10.1145/3192366.3192410 | - |
dc.contributor.localauthor | Heo, Kihong | - |
dc.contributor.nonIdAuthor | Lee, Woosuk | - |
dc.contributor.nonIdAuthor | Alur, Rajeev | - |
dc.contributor.nonIdAuthor | Naik, Mayur | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.