Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. - Amir Kafshdar Goharshady; Ahmed Khaled Zaher (VMCAI, 2023)

Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis. - Ahmed Khaled Zaher (CoRR, 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., 2023)