Follow
Ahmed K. Zaher
Ahmed K. Zaher
Other namesAhmed Khaled Zaher, Ahmed Zaher
Hong Kong University of Science and Technology
Verified email at cse.ust.hk - Homepage
Title
Cited by
Cited by
Year
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth
AK Goharshady, AK Zaher
International Conference on Verification, Model Checking, and Abstract …, 2023
32023
Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis
GK Conrado, AK Goharshady, K Kochekov, YC Tsai, AK Zaher
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1993-2022, 2023
12023
Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis
AK Zaher
arXiv preprint arXiv:2309.11298, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–3