Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
ThanhVu Nguyen

Registered user since Wed 19 Jul 2017

Name:ThanhVu Nguyen
Country:United States
Affiliation:George Mason University
Research interests:Software Engineering, Programming Languages, Invariant Generation, Program Repair

Contributions

ICSE 2022 Analyzing the CMake Build System
Proceedings Co-Chair in Organizing Committee
SymInfer: Inferring Numerical Invariants using Symbolic States
Toward the Analysis of Graph Neural Network
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs
Show activities from other conferences

ICSE 2022-profile
View general profile