2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 2 cited
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby +4
We propose a new technique based on program synthesis for automatically generating visualizations from natural language queries. Our method parses the natural language query into a…
cs.DB2020★ 1 cited
Data Migration using Datalog Program Synthesis
Yuepeng Wang, Rushi Shah, Abby Criswell +2
This paper presents a new technique for migrating data between different schemas. Our method expresses the schema mapping as a Datalog program and automatically synthesizes a Datal…