Ahmed Khaled Zaher

According to our database, Ahmed Khaled Zaher authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering.

Amir Kafshdar Goharshady, Kerim Kochekov, Tian Shu, Ahmed Khaled Zaher

CoRR, April, 2026

2023

Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, Ahmed Khaled Zaher

Proc. ACM Program. Lang., October, 2023

Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis.

Ahmed Khaled Zaher

CoRR, 2023

Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth.

Amir Kafshdar Goharshady, Ahmed Khaled Zaher

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023