Yu Feng -

Registered user since Tue 4 Nov 2014

Name:Yu Feng

Country:United States

Affiliation:University of California at Santa Barbara

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

Research interests:Program analysis, Program synthesis, Security

Contributions

ECOOP and ISSTA 2023	Committee Member in Chairs within the Student Research Competition-track
PLDI 2023	Author of Conflict-Driven Synthesis for Layout Engines within the PLDI Research Papers-track Author of Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs within the PLDI Research Papers-track
SPLASH 2022	Author of Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring within the OOPSLA-track Author of Automated transpilation of imperative to functional code using neural-guided program synthesis within the OOPSLA-track Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the COVID Time Papers In Person-track
ASE 2022	Author of Learning Contract Invariants Using Reinforcement Learning within the Research Papers-track
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
ICSE 2022	Session Chair of Validation and Verification 3 (part of Technical Track) Committee Member in Program Committee within the Technical Track-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
ESEC/FSE 2021	Author of Checking Conformance of Applications against GUI Policies within the Research Papers-track
PLDI 2021	Committee Member in Student Research Competition (SRC) within the SRC-track
SPLASH 2020	Committee Member in External Review Committee 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
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
ECOOP 2018	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-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
PLDI 2017	Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track
POPL 2017	Author of Component-Based Synthesis for Complex APIs within the POPL-track
SPLASH 2015	Author of EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties within the OOPSLA-track