4 papers
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…
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…
A Simple Algorithm for Global Value Numbering
Nabizath Saleena, Vineeth Paleri
Global Value Numbering(GVN) is a method for detecting redundant computations in programs. Here, we introduce the problem of Global Value Numbering in its original form, as conceive…
A Note on "A polynomial-time algorithm for global value numbering"
Saleena Nabeezath, Vineeth Paleri
Global Value Numbering(GVN) is a popular method for detecting redundant computations. A polynomial time algorithm for GVN is presented by Gulwani and Necula(2006). Here we present…