Follow
KimHao Nguyen
Title
Cited by
Cited by
Year
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations
D Ishimwe, KH Nguyen, TV Nguyen
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-23, 2021
62021
Using Symbolic States to Infer Numerical Invariants
T Nguyen, KH Nguyen, M Dwyer
IEEE Transactions on Software Engineering, 2021
52021
GenTree: Using decision trees to learn interactions for configurable software
KH Nguyen, TV Nguyen
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
42021
Using Symbolic Execution to Analyze Linux KBuild Makefiles
TV Nguyen, KH Nguyen
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
32020
The Challenges of Shift Left Static Analysis
QS Phan, KH Nguyen, TV Nguyen
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
22023
Analyzing the CMake Build System
KH Nguyen, TV Nguyen, QS Phan
2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022
22022
GenTree: Inferring Configuration Interactions using Decision Trees
KH Nguyen, TV Nguyen
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
22021
Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software"
KH Nguyen, TV Nguyen
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
22021
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs
D Ishimwe, TV Nguyen, KH Nguyen
2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022
12022
SymInfer: Inferring Numerical Invariants using Symbolic States
TV Nguyen, KH Nguyen, H Duong
2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–10