Copy Propagation subsumes Constant Propagation. - Sreekala S.; Vineeth Paleri (CoRR, 2022)

Partial Redundancy Elimination in Two Iterative Data Flow Analyses. - Reshma Roy; Sreekala S.; Vineeth Paleri (ECOOP, 2024)