Yu Feng - SPLASH 2019

Write a Blog >>

Sun 20 - Fri 25 October 2019 Athens, Greece

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

2019

SPLASH

Relational Verification using Reinforcement Learning

Show activities from other conferences

SPLASH 2019-profile
View general profile