Wed 28 Oct 2015 11:15 - 11:37 at Grand Station 2 - 2. Domain Specific Languages Chair(s): Eelco Visser

Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with disruptive applications for automating repetitive tasks in end-user programming. However, designing, developing, and maintaining an effective industrial-quality inductive synthesizer is an intellectual and engineering challenge, requiring 1-2 man-years of effort.

Our novel observation is that many PBE algorithms are a natural fall-out of one generic meta-algorithm and the domain-specific properties of the operators in the underlying domain-specific language (DSL). The meta-algorithm propagates example-based constraints on an expression to its subexpressions by leveraging associated witness functions, which essentially capture the inverse semantics of the underlying operator. This observation enables a novel program synthesis methodology called data-driven domain-specific deduction (D4), where domain-specific insight, provided by the DSL designer, is separated from the synthesis algorithm.

Our FlashMeta framework implements this methodology, allowing synthesizer developers to generate an efficient synthesizer from the mere DSL definition (if properties of the DSL operators have been modeled). In our case studies, we found that 10+ existing industrial-quality mass-market applications based on PBE can be cast as instances of D4. Our evaluation includes reimplementation of some prior works, which in FlashMeta become more efficient, maintainable, and extensible. As a result, FlashMeta-based PBE tools are deployed in several industrial products, including Microsoft PowerShell 3.0 for Windows 10, Azure Operational Management Suite, and Microsoft Cortana digital assistant.

Wed 28 Oct

oopsla2015
10:30 - 12:00: OOPSLA - 2. Domain Specific Languages at Grand Station 2
Chair(s): Eelco VisserDelft University of Technology
oopsla2015144602460000010:30 - 10:52
Talk
Thibaud HottelierGraphistry, Inc, Rastislav BodikUniversity of Washington, USA
Link to publication Media Attached
oopsla2015144602595000010:52 - 11:15
Talk
Sebastian ErdwegTU Darmstadt, Germany, Moritz LichterTU Darmstadt, Germany, Manuel WeielTU Darmstadt, Germany
Link to publication Media Attached
oopsla2015144602730000011:15 - 11:37
Talk
Alex PolozovUniversity of Washington, USA, Sumit GulwaniMicrosoft Research, USA
Link to publication DOI Media Attached
oopsla2015144602865000011:37 - 12:00
Talk
Haoyuan ZhangUniversity of Hong Kong, China, Zewei ChuUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tijs van der StormCWI
Link to publication Media Attached