conf.researchr.org / 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
2024
2023
ASE
2022
SPLASH
- 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