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

APLAS 2021 Committee Member in Program Committee
PLDI 2021 Committee Member in Student Research Competition (SRC) within the SRC-track
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