2 papers
cs.PL2022
Copy Propagation subsumes Constant Propagation
Sreekala S., Vineeth Paleri
Constant propagation and copy propagation are code transformations that may avoid some load operations and can enable other optimizations. In literature, constant and copy propagat…
cs.LO2017
A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks
Jasine Babu, K. Murali Krishnan, Vineeth Paleri
The problem of determining Herbrand equivalence of terms at each program point in a data flow framework is a central and well studied question in program analysis. Most of the well…