Registered user since Thu 27 Oct 2022

Name:Ahmed Khaled Zaher
Country:Egypt
Affiliation:HKUST
Research interests:Program Analysis, Parameterized Algorithms

Contributions

VMCAI 2023 Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
Show activities from other conferences

POPL 2023-profile
View general profile