The range test: a dependence test for symbolic, non-linear expressions

This publication has 16 references indexed in Scilit:

• Experience in the automatic parallelization of four Perfect-Benchmark programs
  Published by Springer Nature ,2006
• An Overview of Symbolic Analysis Techniques Needed for the Effective Parallelization of the Perfect Benchmarks
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Automatic program parallelization
  Proceedings of the IEEE, 1993
• Symbolic program analysis and optimization for parallelizing compilers
  Published by Springer Nature ,1993
• Delinearization
  Published by Association for Computing Machinery (ACM) ,1992
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991
• Practical dependence testing
  Published by Association for Computing Machinery (ACM) ,1991
• The Perfect Club Benchmarks: Effective Performance Evaluation of Supercomputers
  The International Journal of Supercomputing Applications, 1989
• Compiler Analysis of the Value Ranges for Variables
  IEEE Transactions on Software Engineering, 1977
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977