18 citations · 34 across the 12 of their papers we have counts for
9 papers · 1 filter
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Rui Dong, Qingyue Wu, Danny Ding +3
Abstract semantics has proven to be instrumental for accelerating search-based program synthesis, by enabling the sound pruning of a set of incorrect programs (without enumerating…
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam +2
It is imperative to democratize robotic process automation (RPA), as RPA has become a main driver of the digital transformation but is still technically very demanding to construct…
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang +3
In this paper, we propose a new technique based on program synthesis for extracting information from webpages. Given a natural language query and a few labeled webpages, our method…
Multi-modal Synthesis of Regular Expressions
Qiaochu Chen, Xinyu Wang, Xi Ye +2
In this paper, we propose a multi-modal synthesis technique for automatically constructing regular expressions (regexes) from a combination of examples and natural language. Using…
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, Isil Dillig
This paper proposes relational program synthesis, a new problem that concerns synthesizing one or more programs that collectively satisfy a relational specification. As a dual of r…
Learning Abstractions for Program Synthesis
Xinyu Wang, Greg Anderson, Isil Dillig +1
Many example-guided program synthesis techniques use abstractions to prune the search space. While abstraction-based synthesis has proven to be very powerful, a domain expert needs…
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
While many applications export data in hierarchical formats like XML and JSON, it is often necessary to convert such hierarchical documents to a relational representation. This pap…
Program Synthesis using Abstraction Refinement
Xinyu Wang, Isil Dillig, Rishabh Singh
We present a new approach to example-guided program synthesis based on counterexample-guided abstraction refinement. Our method uses the abstract semantics of the underlying DSL to…
Synthesis of Data Completion Scripts using Finite Tree Automata
Xinyu Wang, Isil Dillig, Rishabh Singh
In application domains that store data in a tabular format, a common task is to fill the values of some cells using values stored in other cells. For instance, such data completion…