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

Registered user since Fri 15 May 2020

Name:KimHao Nguyen
Country:United States
Affiliation:University of Nebraska-Lincoln
Research interests:Software Testing and Verification

Contributions

ICSE 2022 Analyzing the CMake Build System
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs
SymInfer: Inferring Numerical Invariants using Symbolic States
Show activities from other conferences

Using general profile