18 citations · 34 across the 12 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.PL2017
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…
cs.PL2017★ 18 cited
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…
cs.PL2017★ 3 cited
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…