ThanhVu Nguyen

Registered user since Wed 19 Jul 2017

Name:ThanhVu Nguyen
Country:United States
Affiliation:University of Nebraska-Lincoln
Research interests:Software Engineering, Invariant Generation, Program Repair

Contributions

JPF 2018 Automatic Data Structure Repair using Separation Logic
ESEC/FSE 2018 Committee Member in Program Committee within the New Ideas and Emerging Results-track
Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile