Papers
- Learning Abstractions for Program Synthesis. [pdf]
Xinyu Wang, Greg Anderson, Isil Dillig, Ken McMillan
In CAV, 2018
- Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example. [pdf]
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
In VLDB, 2018
- Program Synthesis using Abstraction Refinement. [pdf] [YouTube]
Xinyu Wang, Isil Dillig, Rishabh Singh
In POPL, 2018
- Synthesis of Data Completion Scripts using Finite Tree Automata. [pdf] [YouTube]
Xinyu Wang, Isil Dillig, Rishabh Singh
In OOPSLA, 2017
- FIDEX: Filtering Spreadsheet Data using Examples. [pdf]
Xinyu Wang, Sumit Gulwani, Rishabh Singh
In OOPSLA, 2016
- EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties. [pdf]
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
In OOPSLA, 2015
- Bottom-up Context-Sensitive Pointer Analysis for Java. [pdf]
Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
In APLAS, 2015
|