| 2: | Parallelization: | Solving integer linear programming problems [Pingali] same slides as previous lecture |
| 7: | | Loop transformations [Pingali] slides |
| 9: | | Alias analysis of pointer-based programs [Weaver] |
| |
J. Hummel, L. Hendren and A. Nicolau, A general data dependence test for
dynamic, pointer-based data structures
S. Horwitz, P. Pfieffer and T. Reps,
Dependence Analysis for Pointer Variables
|
| 14: | | Interprocedural alias analysis [Sheikh] |
| |
A. Deutsch,
Interprocedural May-alias Analysis for Pointer: Beyond k-limiting
|
| 16: | | Shape analysis [Dilkina] |
| |
M. Sagiv, T. Reps and R. Wilhelm,
Parametric Shape Analysis via 3-Valued Logic
B. Hackett and R. Rugina,
Region-based Shape Analysis with Tracked Locations
|
| 28: | | Using alias and shape analysis for parallelization [Kimball] |
| |
R.Ghiya and Hendren, Is it a tree, DAG or a cyclic graph? A shape analysis
for heap-directed pointers in C
R. Ghiya, L. Hendren and Y. Zhu,
Detecting Parallelism in C Programs with Recursive Data Structures
|
| 30: | | Commutativity analysis and fractal
symbolic analysis [Vasani] |
|
|
Martin C. Rinard and Pedro C. Diniz,
Commutativity Analysis: A New Analysis Technique for Parallelizing
Compilers
N. Mateev, V. Menon and K. Pingali,
Fractal Symbolic Analysis
|