Using Symbolic Execution to Analyze Linux KBuild Makefiles. - ThanhVu Nguyen; KimHao Nguyen (ICSME, 2020)

GenTree: Using Decision Trees to Learn Interactions for Configurable Software. - KimHao Nguyen; ThanhVu Nguyen (ICSE, 2021)

Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". - KimHao Nguyen; ThanhVu Nguyen (ICSE (Companion Volume), 2021)

GenTree: Inferring Configuration Interactions using Decision Trees. - KimHao Nguyen; ThanhVu Nguyen (ASE, 2021)

Dynaplex: analyzing program complexity using dynamically inferred recurrence relations. - Didier Ishimwe; KimHao Nguyen; ThanhVu Nguyen (Proc. ACM Program. Lang., 2021)

Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. - Didier Ishimwe; ThanhVu Nguyen; KimHao Nguyen (ICSE-Companion, 2022)

SymInfer: Inferring Numerical Invariants using Symbolic States. - ThanhVu Nguyen; KimHao Nguyen; Hai Duong (ICSE-Companion, 2022)

Analyzing the CMake Build System. - KimHao Nguyen; ThanhVu Nguyen; Quoc-Sang Phan (ICSE (SEIP), 2022)

Using Symbolic States to Infer Numerical Invariants. - ThanhVu Nguyen; KimHao Nguyen; Matthew B. Dwyer (IEEE Trans. Software Eng., 2022)

The Challenges of Shift Left Static Analysis. - Quoc-Sang Phan; KimHao Nguyen; ThanhVu Nguyen (ICSE-SEIP, 2023)