Scholar

Charles Zhang

Google Scholar ID: Zmppp9kAAAAJ

Professor of Computer Science, HKUST

software engineering

Google Scholar↗

Citations & Impact

All-time

Citations

1,796

H-index

20

i10-index

48

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

4 items

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models

2026

Cited

0

Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries

2025

Cited

0

Demystifying OS Kernel Fuzzing with a Novel Taxonomy

2025

Cited

0

From Aleatoric to Epistemic: Exploring Uncertainty Quantification Techniques in Artificial Intelligence

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)