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. candidate 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 Morpheus paper got accepted in PLDI17!

Our Astroid paper got accepted in NDSS17!

Our SyPet paper got accepted in POPL17!

Research Interests

My interests include programming languages, static program analysis/verification, program synthesis, and security. 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. Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic

    by Jia Chen, Yu Feng, Isil Dillig.

    In submission.

    [PDF] [BibTeX] [CVE-2017-9735]

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

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

    To appear in PLDI 2017.

    [PDF] [BibTeX]

  3. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability

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

    NDSS 2017.

    [PDF] [BibTeX]

  4. Component-Based Synthesis for Complex APIs

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

    POPL 2017.

    [PDF] [BibTeX]

  5. Hunter: Next-Generation Code Reuse for Java

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

    FSE 2016.

    [PDF] [BibTeX][Tool]

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

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

    APLAS 2015.

    [PDF] [BibTeX]

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

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

    OOPSLA 2015.

    [PDF] [BibTeX]

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

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

    FSE 2014.

    [ PDF ] [BibTeX]

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

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

    DeMobile 2014.

    [ PDF ] [BibTeX]

Talks

  1. Programs that write themselves: Program synthesis for the masses

    Stanford University Software Seminar, Stanford, CA. [Slides]

    Thesis proposal, Austin, TX. Committee members: Isil Dillig, Ray Mooney, Philipp Krähenbühl, and Alex Aiken. [Slides]

  2. Automated Semantics-Based Malware Detection through Static Analysis

    Google, Mountain View, CA. [Slides]

    UC Berkeley Correctness Seminar, Berkeley, CA. [Slides]

    CU Boulder CS Seminar, Boulder, CO. [Slides]

    UCSD CSE Seminar, San Diego, CA. [Slides]

  3. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability

    NDSS 2017, San Diego, CA. [Slides]

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

    APLAS 2015, Pohang, Korea. [Slides]

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

    OOPSLA 2015, Pittsburgh, PA. [Slides]

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

    FSE 2014, HongKong, China. [ Slides ]

Service

  • POPL 2018 Artifact Evaluation Commitee

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