A Simple Algorithm for Partial Redundancy Elimination. - Vineeth Kumar Paleri; Y. N. Srikant; Priti Shankar (ACM SIGPLAN Notices, 1998)

Automatic Generation of Code Optimizers from Formal Specifications. - Vineeth Kumar Paleri (The Compiler Design Handbook, 2002)

Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. - Vineeth Kumar Paleri; Y. N. Srikant; Priti Shankar (Sci. Comput. Program., 2003)

A Note on "A polynomial-time algorithm for global value numbering" - Saleena Nabeezath; Vineeth Paleri (CoRR, 2013)

A Simple Algorithm for Global Value Numbering - Saleena Nabeezath; Vineeth Paleri (CoRR, 2013)

Global value numbering for redundancy detection: a simple and efficient algorithm. - Saleena Nabeezath; Vineeth Paleri (SAC, 2014)

An Improved Algorithm for Redundancy Detection Using Global Value Numbering. - Saleena Nabizath; Vineeth Paleri (J. Inf. Process. Syst., 2016)

A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks. - Jasine Babu; Karunakaran Murali Krishnan; Vineeth Paleri (ICLA, 2019)

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

Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency. - Reshma Roy; Vineeth Paleri (J. Comput. Lang., 2023)

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