A simple algorithm for partial redundancy elimination VK Paleri, YN Srikant, P Shankar ACM Sigplan Notices 33 (12), 35-43, 1998 | 26 | 1998 |

Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm VK Paleri, YN Srikant, P Shankar Science of Computer Programming 48 (1), 1-20, 2003 | 21 | 2003 |

Global value numbering for redundancy detection: a simple and efficient algorithm N Saleena, V Paleri Proceedings of the 29th annual ACM symposium on applied computing, 1609-1611, 2014 | 9 | 2014 |

Automatic Generation of Code Optimizers from Formal Specifications. VK Paleri The Compiler Design Handbook, 61-97, 2002 | 6 | 2002 |

An Environment for automatic generation of code optimizers VK Paleri, YN Srikant, P Shankar PhD thesis, 1999 | 4 | 1999 |

A fix-point characterization of herbrand equivalence of expressions in data flow frameworks J Babu, K Murali Krishnan, V Paleri Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India …, 2019 | 1 | 2019 |

An improved algorithm for redundancy detection using global value numbering N Saleena, V Paleri JIPS (Journal of Information Processing Systems) 12 (2), 214-225, 2016 | 1 | 2016 |

Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency R Roy, V Paleri Journal of Computer Languages 75, 101204, 2023 | | 2023 |

Copy Propagation subsumes Constant Propagation V Paleri arXiv preprint arXiv:2207.03894, 2022 | | 2022 |

Copy Propagation subsumes Constant Propagation S Sreekala, V Paleri arXiv e-prints, arXiv: 2207.03894, 2022 | | 2022 |

Check for updates A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks J Babul, KM Krishnan, V Paleri Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India …, 2019 | | 2019 |

A Simple Algorithm for Global Value Numbering N Saleena, V Paleri arXiv preprint arXiv:1303.1880, 2013 | | 2013 |

A Note on" A polynomial-time algorithm for global value numbering" S Nabeezath, V Paleri arXiv preprint arXiv:1302.6325, 2013 | | 2013 |

A Simple Algorithm for Global Value Numbering S Nabeezath, V Paleri CoRR, 2013 | | 2013 |

Department of Computer Engineering National Institute of Technology V Paleri | | |