| 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 | 8 | 2021 |
| Using Symbolic States to Infer Numerical Invariants T Nguyen, KH Nguyen, M Dwyer IEEE Transactions on Software Engineering, 2021 | 7 | 2021 |
| 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 | 4 | 2021 |
| The Challenges of Shift Left Static Analysis QS Phan, KH Nguyen, TV Nguyen 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 3 | 2023 |
| Using Symbolic Execution to Analyze Linux KBuild Makefiles TV Nguyen, KH Nguyen 2020 IEEE International Conference on Software Maintenance and Evolution …, 2020 | 3 | 2020 |
| Analyzing the CMake Build System KH Nguyen, TV Nguyen, QS Phan 2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022 | 2 | 2022 |
| GenTree: Inferring Configuration Interactions using Decision Trees KH Nguyen, TV Nguyen 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 2 | 2021 |
| 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 | 2 | 2021 |
| Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs D Ishimwe, TV Nguyen, KH Nguyen 2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022 | 1 | 2022 |
| SymInfer: Inferring Numerical Invariants using Symbolic States TV Nguyen, KH Nguyen, H Duong 2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022 | 1 | 2022 |
ThanhVu (Vu) NguyenComputer Science, George Mason University在 gmu.edu 的电子邮件经过验证
