Computer Science Department
2317 Speedway, M/S D9500
The University of Texas
Austin TX 78712-0233

I am a Ph.D student in the Computer Science Department at The University of Texas at Austin. My advisors are Prof. Isil Dillig and Prof. Thomas Dillig. In 2013 Fall I studied as a visiting student at Stanford University under the supervision of Dr. Saswat Anand.

What's New

Please consider submitting your work to MOBILESoft16!

Research Interests

My interests include software verification, programming languages, static analysis and formal methods. More specifically, I want to build automated tools to guarantee the desired behavior of a system in a sound, precise and scalable way. I am also interested in applying static analysis to build and break systems, tackle security problems in smartphone.


  1. Bottom-up Context-Sensitive Pointer Analysis for Java

    by Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig.

    To appear in APLAS 2015.

    [PDF] [BibTeX]

  2. EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties

    by Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin.

    To appear in OOPSLA 2015.

    [PDF] [BibTeX]

  3. Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis

    by Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken.

    FSE 2014.

    [ PDF ] [BibTeX]

  4. Apposcopy: Automated Detection of Android Malware(Invited Talk)

    by Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken.

    DeMobile 2014.

    [ PDF ] [BibTeX]



  • Teaching assistant in the course Programming Languages (Spring 2013), taught by Dr. Thomas Dillig at the College of William and Mary.