SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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

SPLASH 2021 Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
DynamiTe: Dynamic Termination and Non-termination Proofs
Show activities from other conferences

Using general profile