{"type":"ScholarlyArticle","title":"Compositional Program Synthesis from Natural Language and Examples","authors":[{"name":"Mohammad Raza","slug":"mohammad-raza","given":"Mohammad","family":"Raza","affiliation":""},{"name":"Sumit Gulwani","slug":"sumit-gulwani","given":"Sumit","family":"Gulwani","affiliation":""},{"name":"Natasa Milic-Frayling","slug":"natasa-milic-frayling","given":"Natasa","family":"Milic-Frayling","affiliation":""}],"abstract":"Compositionality is a fundamental notion in computation whereby complex abstractions can be constructed from simpler ones, but this property has so far escaped the paradigm of end-user programming from examples or natural language. Existing approaches restrict end users to only give holistic end-to-end specifications, which limits the expressivity and scalability of these approaches to relatively simple programs in very restricted domains. In this paper we propose a new approach to end-user program synthesis in which input can be given in a compositional manner through a combination of natural language and examples. We present a domain-agnostic program synthesis algorithm and demonstrate its application to an expressive string manipulation language. We evaluate on a range of complex examples from help forums that are beyond the scope of previous systems.","doi":null,"url":"https://ijcai.org/proceedings/2015/117","pdf":"https://ijcai.org/proceedings/2015/0117.pdf","markdown":"https://ijcai.org/proceedings/2015/117.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/117","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Heuristic Search","track":"Main Track","number":117,"pages":{"first":792,"last":799},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}