PhD Student
Computer Science
University of Texas, Austin
xwang@cs.utexas.edu

I am a 5th-year computer science PhD student in the UToPiA group at UT Austin, advised by Prof. Isil Dillig.
I work on programming languages and formal methods. In particular, I am interested in developing novel program synthesis techniques for different applications.

I obtained my B.E. degree (with honor) from Shanghai Jiao Tong University in 2013, and was a summer research intern at Microsoft Research (Redmond) in 2015.

PUBLICATIONS

• Relational Program Synthesis
  Yuepeng Wang, Xinyu Wang, and Isil Dillig
  OOPSLA 2018
  [Paper]

• Learning Abstractions for Program Synthesis
  Xinyu Wang, Greg Anderson, Isil Dillig, and Ken McMillan
  CAV 2018
  [Paper]

• Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example
  Navid Yaghmazadeh, Xinyu Wang, and Isil Dillig
  VLDB 2018
  [Paper]

• Program Synthesis using Abstraction Refinement
  Xinyu Wang, Isil Dillig, and Rishabh Singh
  POPL 2018
  [Paper] [YouTube]
  

• Synthesis of Data Completion Scripts using Finite Tree Automata
  Xinyu Wang, Isil Dillig, and Rishabh Singh
  OOPSLA 2017
  [Paper] [YouTube]
  

• FIDEX: Filtering Spreadsheet Data using Examples
  Xinyu Wang, Sumit Gulwani, and Rishabh Singh
  OOPSLA 2016
  [Paper]

• EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
  Yu Feng, Xinyu Wang, Isil Dillig, and Calvin Lin
  OOPSLA 2015
  [Paper]

• Bottom-up Context-Sensitive Pointer Analysis for Java
  Yu Feng, Xinyu Wang, Isil Dillig, and Thomas Dillig
  APLAS 2015
  [Paper]