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.

News

• 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.

Papers

• 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