SPLASH 2021 (series) / ThanhVu Nguyen
Registered user since Wed 19 Jul 2017
Name:ThanhVu Nguyen
Country:United States
Affiliation:George Mason University
Personal website:https://nguyenthanhvuh.github.io
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 | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile