KimHao Nguyen

According to our database, KimHao Nguyen authored at least 10 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Challenges of Shift Left Static Analysis.

Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

Using Symbolic States to Infer Numerical Invariants.

ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer

IEEE Trans. Software Eng., 2022

Analyzing the CMake Build System.

KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

SymInfer: Inferring Numerical Invariants using Symbolic States.

ThanhVu Nguyen, KimHao Nguyen, Hai Duong

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs.

Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Dynaplex: analyzing program complexity using dynamically inferred recurrence relations.

Didier Ishimwe, KimHao Nguyen, ThanhVu Nguyen

Proc. ACM Program. Lang., 2021

GenTree: Inferring Configuration Interactions using Decision Trees.

KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software".

KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

GenTree: Using Decision Trees to Learn Interactions for Configurable Software.

KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Using Symbolic Execution to Analyze Linux KBuild Makefiles.

ThanhVu Nguyen, KimHao Nguyen

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020