Yu Feng

Registered user since Tue 4 Nov 2014

Name:Yu Feng
Country:United States
Affiliation:University of California at Santa Barbara
Research interests:Program analysis, Program synthesis, Security

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
APLAS 2021 Committee Member in Program Committee within the Research Papers-track
PLDI 2021 Committee Member in Student Research Competition (SRC) within the SRC-track
ESEC/FSE 2021 Author of Checking Conformance of Applications against GUI Policies within the Research Papers-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
ICSE 2022 Committee Member in Program Committee within the Technical Track-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