Publications

Filter by type:

Yanju Chen, Ruben Martins, Yu Feng. Maximal Multi-layer Specification Synthesis. FSE, 2019.

Jia Chen, Ruben Martins, Yanju Chen, Yu Feng, Isil Dillig. Trinity: An Extensible Synthesis Framework for Data Science. PVLDB, 2019.

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig. Program Synthesis using Conflict-Driven Learning. PLDI, 2018.

Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig. Singularity: Pattern Fuzzing for Worst Case Complexity. FSE, 2018.

Jia Chen, Yu Feng, Isil Dillig. Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic. CCS, 2017.

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. PLDI, 2017.

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS, 2017.

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps. Component-Based Synthesis for Complex APIs. POPL, 2017.

Yuepeng Wang, Yu Feng, Ruben Martins, Isil Dillig, Steven P. Reiss. Hunter: Next-Generation Code Reuse for Java. FSE, 2016.

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

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

Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken. Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis. FSE, 2014.

Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken. Apposcopy: Automated Detection of Android Malware (Invited Talk). DeMobile, 2014.