Control-Flow Analysis

Her work on graphs, data flow and program dependence became foundational for modern compiler optimization and parallelization.