A simple algorithm for partial redundancy elimination VK Paleri, YN Srikant, P Shankar ACM Sigplan Notices 33 (12), 35-43, 1998 | 27 | 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 | 22 | 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 |
Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency R Roy, V Paleri Journal of Computer Languages 75, 101204, 2023 | 1 | 2023 |
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 |
Partial Redundancy Elimination in Two Iterative Data Flow Analyses R Roy, V Paleri 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024 | | 2024 |
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 | | |