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

yufeng@cs.utexas.edu

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

What's New

Our Astroid paper got accepted in NDSS17!

Our SyPet paper got accepted in POPL17!

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.

Publications (Google Scholar)

  1. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples

    by Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri.

    In submission.

    [PDF] [BibTeX]

  2. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability

    by Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand.

    To appear in NDSS 2017.

    [PDF] [BibTeX]

  3. Component-Based Synthesis for Complex APIs

    by Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps.

    To appear in POPL 2017.

    [PDF] [BibTeX]

  4. Hunter: Next-Generation Code Reuse for Java

    by Yuepeng Wang, Yu Feng, Ruben Martins, Isil Dillig, Steven P. Reiss.

    FSE 2016.

    [PDF] [BibTeX][Tool]

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

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

    APLAS 2015.

    [PDF] [BibTeX]

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

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

    OOPSLA 2015.

    [PDF] [BibTeX]

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

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

    FSE 2014.

    [ PDF ] [BibTeX]

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

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

    DeMobile 2014.

    [ PDF ] [BibTeX]

Talks

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

    APLAS 2015, Pohang, Korea. [Slides]

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

    OOPSLA 2015, Pittsburgh, PA. [Slides]

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

    FSE 2014, HongKong, China. [ Slides ]

Service

  • CAV 2016 Artifact Evaluation Commitee

  • MOBILESoft 2016 Publicity Chairs(Co-located with ICSE 2016).

  • MOBILESoft 2015 Program Commitee(Co-located with ICSE 2015).

  • Sub-reviewer: PLDI15', PLDI16', OOPSLA16', POPL17'.

Teaching

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