Nonuniform Alias Analysis of Recursive Data Structures and Arrays
No abstract available.
Related papers
- Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs PLDI 1992
- Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting PLDI 1994
- The Undecidability of Aliasing TOPLAS 1994
- Dynamically managed data for CPU-GPU architectures CGO 2012
- An efficient data structure for must-alias analysis CC 2018
- Forma: A framework for safe automatic array reshaping TOPLAS 2007
- High Performance FORTRAN for Highly Unstructured Problems PPoPP 1997
- Tree dependence analysis PLDI 2015