conf.researchr.org / KimHao Nguyen
Registered user since Fri 15 May 2020
Name:KimHao Nguyen
Country:United States
Affiliation:University of Nebraska-Lincoln
Personal website: https://ndkimhao.github.io/
GitHub: https://github.com/ndkimhao
Research interests:Software Testing and Verification
Contributions
2022
ICSE
- Author of Analyzing the CMake Build System within the SEIP - Software Engineering in Practice-track
- Author of Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs within the DEMO - Demonstrations-track
- Author of SymInfer: Inferring Numerical Invariants using Symbolic States within the DEMO - Demonstrations-track