Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
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

SPLASH 2019Author of Relational Verification using Reinforcement Learning within the OOPSLA-track
Show activities from other conferences

SPLASH 2019-profile
View general profile