ThanhVu Nguyen

Registered user since Wed 19 Jul 2017

Name: ThanhVu Nguyen

Country: United States

Affiliation: University of Nebraska-Lincoln

Personal website:

Research interests: Software Engineering, Invariant Generation, Program Repair


JPF 2018Author of Automatic Data Structure Repair using Separation Logic within the JPF-track
ESEC/FSE 2018Committee 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