KimHao Nguyen

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 11

Top Topics

Static Analysis

Commercial Software

Symbolic Execution

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

Publications

Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen
The Challenges of Shift Left Static Analysis. ICSE-SEIP (2023)
Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. ICSE-Companion (2022)
KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan
Analyzing the CMake Build System. ICSE (SEIP) (2022)
ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer
Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng. 48 (10) (2022)
ThanhVu Nguyen, KimHao Nguyen, Hai Duong
SymInfer: Inferring Numerical Invariants using Symbolic States. ICSE-Companion (2022)
KimHao Nguyen, ThanhVu Nguyen
GenTree: Inferring Configuration Interactions using Decision Trees. ASE (2021)
KimHao Nguyen, ThanhVu Nguyen
GenTree: Using Decision Trees to Learn Interactions for Configurable Software. CoRR (2021)
KimHao Nguyen, ThanhVu Nguyen
Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". ICSE (Companion Volume) (2021)
KimHao Nguyen, ThanhVu Nguyen
GenTree: Using Decision Trees to Learn Interactions for Configurable Software. ICSE (2021)
Didier Ishimwe, KimHao Nguyen, ThanhVu Nguyen
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
ThanhVu Nguyen, KimHao Nguyen
Using Symbolic Execution to Analyze Linux KBuild Makefiles. ICSME (2020)