Registered user since Tue 4 Nov 2014
Name:Yu Feng
Country:China
Affiliation:University of Texas at Austin, USA
Personal website:http://www.cs.utexas.edu/~yufeng/
Research interests:Program analysis, Program synthesis, Mobile Security
Contributions
| PLDI 2018 | Program Synthesis using Conflict-Driven Learning | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2018-profile
View general profile
View general profile