Yu Feng

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 2018Author of Program Synthesis using Conflict-Driven Learning within the PLDI Research Papers-track
Show activities from other conferences

Using general profile