Xinyu Wang

PhD Student
Computer Science
University of Texas, Austin

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.


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

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

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

  • 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

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

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