Data Migration using Datalog Program Synthesis. - Yuepeng Wang 001; Rushi Shah; Abby Criswell; Rong Pan; Isil Dillig (Proc. VLDB Endow., 2020)

Type-directed synthesis of visualizations from natural language queries. - Qiaochu Chen; Shankara Pailoor; Celeste Barnaby; Abby Criswell; Chenglong Wang; Greg Durrett; Isil Dillig (Proc. ACM Program. Lang., 2022)