Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm

@article{Paleri2003PartialRE,
  title={Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm},
  author={Vineeth Kumar Paleri and Y. N. Srikant and Priti Shankar},
  journal={Sci. Comput. Program.},
  year={2003},
  volume={48},
  pages={1-20}
}
We propose a new algorithm for partial redundancy elimination based on the new concepts of safe partial availability and safe partial anticipability. These new concepts are derived by the integration of the notion of safety into the definitions of partial availability and partial anticipability. The algorithm works on flow graphs whose nodes are basic blocks. It is both computationally and lifetime optimal and requires four unidirectional analyses. The most important feature of the algorithm is… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

The GVN Algorithm by Gulwani and Necula [ 1 ] : An Overview

Nabizath Saleena, Vineeth Paleri
  • 2016
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Compiling Dynamic Data Structures in Python to Enable the Use of Multi-core and Many-core Libraries

  • 2011 International Conference on Parallel Architectures and Compilation Techniques
  • 2011
VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Transforming Query Sequences for High-Throughput B+ Tree Processing on Many-Core Processors

  • 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

Program Repair as Sound Optimization of Broken Programs

  • 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
  • 2009
VIEW 2 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

O

J. Knoop
  • RT uthing, B. SteGen, Optimal code motion: theory and practice ACM TOPLAS 16 (4)
  • 1994
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

A variation of Knoop

K. H. Dreshler, M. P. Stadel
  • RT uthing, and SteGen’s lazy code motion, ACM SIGPLAN Notices 28 (5)
  • 1993
VIEW 1 EXCERPT

A variation of Knoop , RTuthing , and SteGen ’ s lazy code motion

M. P. Stadel K. H. Dreshler
  • ACM SIGPLAN Notices
  • 1993