Yu Feng (冯煜) on Yu Feng (冯煜) / Recent content in Yu Feng (冯煜) on Yu Feng (冯煜) Hugo -- gohugo.io en-us © 2018 Wed, 20 Apr 2016 00:00:00 -0700 Program Synthesis using Conflict-Driven Learning /publication/pldi18-neo/ Sun, 10 Jun 2018 13:33:28 -0500 /publication/pldi18-neo/ Singularity: Pattern Fuzzing for Worst Case Complexity /publication/fse18-single/ Thu, 10 May 2018 13:33:28 -0500 /publication/fse18-single/ Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic /publication/ccs17-themis/ Tue, 10 Oct 2017 13:33:28 -0500 /publication/ccs17-themis/ Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples /publication/pldi17-morpheus/ Sat, 10 Jun 2017 13:33:28 -0500 /publication/pldi17-morpheus/ Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability /publication/ndss17-astroid/ Fri, 10 Mar 2017 13:33:28 -0500 /publication/ndss17-astroid/ Component-Based Synthesis for Complex APIs /publication/popl17-sypet/ Tue, 10 Jan 2017 13:33:28 -0500 /publication/popl17-sypet/ Hunter: Next-Generation Code Reuse for Java /publication/fse16-hunter/ Tue, 10 May 2016 13:33:28 -0500 /publication/fse16-hunter/ Bottom-up Context-Sensitive Pointer Analysis for Java /publication/aplas15/ Tue, 10 Nov 2015 13:33:28 -0500 /publication/aplas15/ EXPLORER: Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties /publication/oopsla-explorer/ Sun, 10 May 2015 13:33:28 -0500 /publication/oopsla-explorer/ Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis /publication/fse14-apposcopy/ Mon, 10 Nov 2014 13:33:28 -0500 /publication/fse14-apposcopy/ Apposcopy: Automated Detection of Android Malware (Invited Talk) /publication/demobile14/ Sat, 10 May 2014 13:33:28 -0500 /publication/demobile14/