
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