Dynamic memory disambiguation for array references

  title={Dynamic memory disambiguation for array references},
  author={David Bernstein and Doron Cohen and Dror E. Maydan},
Memory disambiguation, or alias analysis, is a key component of modern optimizing compilers. Any optimization that reorders or changes code containing memory operations must analyze the memory references to ensure that the original semantics of the program are not changed. The recent proliferation of machines able to exploit parallelism, either at the coarse grain or more commonly at the instruction level, has led to the development of sophisticated memory disambiguation algorithms. In… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 11 extracted citations

Scalable Test Generation by Interleaving Concrete and Symbolic Execution

2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems • 2014
View 1 Excerpt

Similar Papers

Loading similar papers…