Login / Signup
Ahmed Khaled Zaher
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Data Quality
Computer Systems
Highly Scalable
Scale Poorly
Top Venues
Proc. ACM Program. Lang.
VMCAI
CoRR
</>
Publications
</>
Ahmed Khaled Zaher
Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis.
CoRR
(2023)
Amir Kafshdar Goharshady
,
Ahmed Khaled Zaher
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth.
VMCAI
(2023)
Giovanna Kobus Conrado
,
Amir Kafshdar Goharshady
,
Kerim Kochekov
,
Yun Chen Tsai
,
Ahmed Khaled Zaher
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.
Proc. ACM Program. Lang.
7 (OOPSLA2) (2023)