Ahmed Khaled Zaher
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 5 in the filters
who talks about the same things
- Kerim Kochekov2 talks
- Giovanna Kobus Conrado4 talks
- Amir Kafshdar Goharshady10 talks
- S. Hitarth2 talks
- Yizhou Zhang13 talks
- Zhendong Su25 talks
| title | conference | date |
|---|---|---|
| Parameterized Algorithms and Complexity for Function Merging with Branch Reordering | PLDI 2026 | 2026-06-15 |
Shows that allowing function merging with branch reordering makes the optimization NP-hard, then gives parameterized algorithms: a constructive FPT algorithm… | ||
| Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-... | OOPSLA 2023 | 2023-10-23 |
Claims an on-demand APA pipeline that, after n·log n·k preprocessing, answers any pairwise path-summary query in O(k) per query by precomputing only O(n log n)… | ||
| Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth | VMCAI 2023 | 2023-01-15 |
Claims a concrete IFDS solver that exploits treedepth of the call graph and treewidth of control-flow graphs, constructs an exploded code graph, and achieves… | ||
| nothing matches | ||