Ahmed Khaled Zaher

According to our database, Ahmed Khaled Zaher authored at least 3 papers in 2023.

Collaborative distances:

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

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