Publications

  1. [1]
    A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs
    A.K. Goharshady, C.K. Lam, A. Pavlogiannis, A.K. Zaher
    OOPSLA 2026

  2. [2]
    Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
    A.K. Goharshady, K. Kochekov, T. Shu, A.K. Zaher
    PLDI 2026
    PDF Slides

  3. [3]
    Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis
    G.K. Conrado, A.K. Goharshady, K. Kochekov, Y.C. Tsai, A.K. Zaher
    OOPSLA 2023
    PDF Slides

  4. [4]
    Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis
    A.K. Zaher
    Master's thesis
    PDF Slides

  5. [5]
    Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
    A.K. Goharshady, A.K. Zaher
    VMCAI 2023
    PDF