My picture

Xinyu Wang

Department of Computer Science
University of Texas at Austin
2317 Speedway, Stop D9500
Austin, TX 78712

Email: xwang AT cs DOT utexas DOT edu


I am a sixth (and final) year PhD student in the UToPiA group at UT Austin, advised by Isil Dillig.
Before graduate school, I obtained my B.E. degree (with honor) from Shanghai Jiao Tong University in 2013.
During summer 2015, I was a research intern at Microsoft Research (Redmond), working with Rishabh Singh and Sumit Gulwani.


I am on the job market this year (graduating in 2019)!
[Curriculum Vitae] [Research Statement]




Research Interests

My areas of interest are programming languages, formal methods, and software engineering.
My research to date focuses on developing foundational program synthesis techniques that are applicable to automating real-world programming tasks.
I am also interested in developing and applying program analysis techniques in the context of software security and software engineering.

Research

Due to the ubiquity of computing, programming has started to become an essential skill for an increasing number of people, including data scientists, financial analysts, and spreadsheet users. While it is well known that building any complex and reliable software is difficult, writing even simple scripts is challenging for novices with no formal programming background.
The goal of my research is to democratize programming and make it possible for millions of people around the globe to automate otherwise tedious tasks. To achieve this goal, I develop novel and foundational program synthesis techniques that automatically generate programs from high-level specifications (such as input- output examples) for a wide spectrum of application domains.

Automating real-world programming tasks
One central theme of my research is on the development of novel synthesis techniques for new and important application domains. In particular, I've applied program synthesis to automate various programmatic tasks in data science and spreadsheet programming.
  • Filtering spreadsheet data using examples [OOPSLA'16]
  • Data imputation using program sketching and programming-by-example [OOPSLA'17]
  • Automated migration of hierarchical data to relational tables [VLDB'18]
Foundations of program synthesis
In order to scale program synthesis technology to increaslying more application domains, we need foundational algorithms that can be re-used across domains. This motivates another theme of my research on development of program synthesis frameworks: Instead of developing domain-specific synthesizers for new domains completely from scratch, such frameworks allow developing synthesizers for new domains with less human effort.
  • A general program synthesis framework using tree automata [OOPSLA'17]
  • An efficient program synthesis framework using abstraction refinement [POPL'17, CAV'18]
    This work pioneers the use of program abstractions in a general synthesis framework, which leads to orders of magnitude improvement in synthesis speed.
  • A program synthesis framework for relational specifications (that relate multiple programs) [OOPSLA'18]

Publications

  • Relational Program Synthesis
    Yuepeng Wang, Xinyu Wang, and Isil Dillig
    Proceedings of the ACM on Programming Languages (OOPSLA), 2018
    [Paper] [YouTube]

  • Learning Abstractions for Program Synthesis
    Xinyu Wang, Greg Anderson, Isil Dillig, and Ken McMillan
    International Conference on Computer Aided Verification (CAV), 2018
    [Paper]

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

  • Program Synthesis using Abstraction Refinement
    Xinyu Wang, Isil Dillig, and Rishabh Singh
    Proceedings of the ACM on Programming Languages (POPL), 2017
    [Paper] [YouTube]

  • Synthesis of Data Completion Scripts using Finite Tree Automata
    Xinyu Wang, Isil Dillig, and Rishabh Singh
    Proceedings of the ACM on Programming Languages (OOPSLA), 2017
    [Paper] [YouTube]

  • FIDEX: Filtering Spreadsheet Data using Examples
    Xinyu Wang, Sumit Gulwani, and Rishabh Singh
    Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2016
    [Paper]

  • EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
    Yu Feng, Xinyu Wang, Isil Dillig, and Calvin Lin
    Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2015
    [Paper]

  • Bottom-up Context-Sensitive Pointer Analysis for Java
    Yu Feng, Xinyu Wang, Isil Dillig, and Thomas Dillig
    Asian Symposium on Programming Languages and Systems (APLAS), 2015
    [Paper]


(Papers before grad school)

  • Connectivity Analysis in Wireless Networks with Correlated Mobility and Cluster Scalability
    Jinbei Zhang, Luoyi Fu, Qi Wang, Liang Liu, Xinyu Wang, and Xinbing Wang
    IEEE/ACM Transactions on Networking (TON), 2017
    [Paper]

  • Impact of Correlated Mobility and Cluster Scalability on Connectivity of Wireless Networks
    Qi Wang, Liang Liu, Jinbei Zhang, Xinyu Wang, Xinbing Wang, and Songwu Lu
    International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), 2014
    [Paper]

  • Near-optimal Spectrum Allocation for Cognitive Radios: A Frequency-Time Auction Perspective
    Xinyu Wang, Gaofei Sun, Jikai Yin, Yinxu Wang, Xiaohua Tian, and Xinbing Wang
    Global Communications Conference (GLOBECOM), 2012
    [Paper]


Personal

I am a fan of sports (swimming, hiking, basketball, and especially, soccer and ping pong). I've been playing soccer and ping pong since I was nine (though not playing a lot in grad school..). My record for soccer juggling is (a bit more than) 300 times straight.
I started to watch poker in grad school. My favorite player is Tom Dwan (see his highlights in 2018).