Registered user since Wed 19 Jul 2017
Name: ThanhVu Nguyen
Country: United States
Affiliation: University of Nebraska-Lincoln
Personal website: https://cse.unl.edu/~tnguyen/
Research interests: Software Engineering, Invariant Generation, Program Repair
PLDI 2018 Activities
Using general profile