FESK.COMYour global study desk
Email us
Home › Scholar › KimHao Nguyen
COMPILEDopen profilenot managed by this scholar
K

KimHao Nguyen

Researcher Profile 6/10
This is my profile

Information

Featured publications

Dynaplex: analyzing program complexity using dynamically inferred recurrence relations16 citations
Proceedings of the ACM on Programming Languages · 2021 · DOI
Using Symbolic Execution to Analyze Linux KBuild Makefiles4 citations
· 2020 · DOI
Using Symbolic States to Infer Numerical Invariants4 citations
IEEE Transactions on Software Engineering · 2021 · DOI
Analyzing the CMake build system3 citations
· 2022 · DOI
Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software"3 citations
· 2021 · DOI
SymInfer3 citations
· 2022 · DOI
Analyzing the CMake Build System1 citations
· 2022 · DOI
Dynaplex1 citations
· 2022 · DOI
GenTree: Inferring Configuration Interactions using Decision Trees1 citations
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) · 2021 · DOI
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2022 · DOI

About the field of Information Technology

Common research topics in this field:

Topic ModelingNatural Language Processing TechniquesAdvanced Neural Network ApplicationsNetwork Security and Intrusion DetectionMultimodal Machine Learning ApplicationsAdvanced Image and Video Retrieval Techniques

Institutions with the most researchers in this field:

These figures count profiles currently in this directory, not nationwide statistics.

The publication list above is compiled from the open academic database OpenAlex (CC0 licence). Compare with the source record on OpenAlex ↗

Suggest / Claim this profile

  
Profile aggregated from public sources. We respect scholars' rights to edit and remove information — all requests are processed promptly.
KimHao NguyenTra Vinh University
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.