KimHao Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
1
Active years
2021–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICSE | The Challenges of Shift Left Static Analysis. | Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen |
| 2022 | ICSE | Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. | Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen |
| 2022 | ICSE | SymInfer: Inferring Numerical Invariants using Symbolic States. | ThanhVu Nguyen, KimHao Nguyen, Hai Duong |
| 2022 | ICSE | Analyzing the CMake Build System. | KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan |
| 2021 | ICSE | GenTree: Using Decision Trees to Learn Interactions for Configurable Software. | KimHao Nguyen, ThanhVu Nguyen |
| 2021 | ICSE | Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". | KimHao Nguyen, ThanhVu Nguyen |