Xinyu Wang

Email: xwang AT cs DOT utexas DOT edu

I am a PhD student at UT Austin, and I am interested in programming languages.
My advisor is Prof. Isil Dillig.


  • 11/2016: Presented our paper at OOPSLA'16.
  • 08/2016: A paper accepted by OOPSLA'16.
  • 08/2015: End of internship talk at MSR.
  • 08/2015: A paper accepted by APLAS'15.
  • 08/2015: A paper accepted by OOPSLA'15.
  • 05/2015: Started an internship at Microsoft Research, Redmond (Mentors: Rishabh Singh and Sumit Gulwani).
  • 08/2013: Started a PhD in CS@UT Austin.


  • FIDEX: Filtering Spreadsheet Data using Examples. [pdf]
    Xinyu Wang, Sumit Gulwani, Rishabh Singh
    In OOPSLA, 2016

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

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