KimHao Nguyen

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