Registered user since Thu 27 Oct 2022
Name:Ahmed Khaled Zaher
Country:Egypt
Affiliation:HKUST
Personal website:https://ahmed-zaher.github.io/
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
View general profile