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 Session Chair of Security (part of PLDI)
Committee Member in PLDI within the PLDI-track
Session Chair of Testing (part of SIGPLAN Track)
Author of Visualization Question Answering Using Introspective Program Synthesis within the PLDI-track
POPL 2022 Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the POPL-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
SPLASH 2022 Author of Automated transpilation of imperative to functional code using neural-guided program synthesis within the OOPSLA-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 Session Chair of Validation and Verification 3 (part of Technical Track)
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