# Vineeth Paleri

## Professor, Department of Computer Science and Engineering

National Institute of Technology Calicut, Kerala, INDIA (email)

National Institute of Technology Calicut, Kerala, INDIA (email)

Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency.. Journal of Computer Languages, Volume 75.

2023. A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks. ICLA 2019. :160-172., Berlin: Springer

2019. A Simple Algorithm for Global Value Numbering, 09/16. :arXiv:1303.1880v2., Calicut: National Institute of Technology gvn.pdf

2014. Global Value Numbering for Redundancy Detection: A Simple and Efficient Algorithm. Proceedings of the 29th Annual ACM Symposium on Applied Computing. :1609-1611., Korea: ACM

2014. Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Sci. Comput. Program.. 48:1-20., Number 1 AbstractWebsite

2003. Automatic Generation of Code Optimizers from Formal Specifications. The Compiler Design Handbook. :61-97. Abstract

2002. A Simple Algorithm for Partial Redundancy Elimination. SIGPLAN Notices. 33:35-43., Number 12 AbstractWebsite

1998.