Yu Feng -

Registered user since Tue 4 Nov 2014

Name: Yu Feng

Country: China

Affiliation: University of California, Santa Barbara

Personal website: https://fredfeng.github.io/

Research interests: Program analysis, Program synthesis, Security

Contributions

ASE 2020	Author of Summary-Based Symbolic Evaluation for Smart Contracts within the Research Papers-track Author of Demystifying Loops in Smart Contracts within the Research Papers-track
SPLASH 2020	Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the Student Research Competition-track
POPL 2020	Author of Visualization by Example within the Research Papers-track
ASE 2019	Author of OAuthLint: An Empirical Study on OAuth Bugs in Android Applications within the Research Papers-track
SPLASH 2019	Author of Relational Verification using Reinforcement Learning within the OOPSLA-track
ESEC/FSE 2018	Author of Singularity: Pattern Fuzzing for Worst Case Complexity within the Research Papers-track
PLDI 2018	Author of Program Synthesis using Conflict-Driven Learning within the PLDI Research Papers-track
POPL 2018	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2017	Author of Component-Based Synthesis for Complex APIs within the POPL-track
ECOOP 2018	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2017	Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track
SPLASH 2015	Author of EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties within the OOPSLA-track