J. Allen and K. Kennedy, Optimizing Compilers for Modern Architectures, 2002.

U. Banerjee, Data dependence in ordinary programs Master's thesis, 1976.

D. Barthou, A. Cohen, and J. Collard, Maximal static expansion, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.98-106, 1998.
DOI : 10.1145/268946.268955
URL : https://hal.archives-ouvertes.fr/hal-01257319

C. Bastoul, Code generation in the polyhedral model is easier than you think, Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., pp.7-16, 2004.
DOI : 10.1109/PACT.2004.1342537
URL : https://hal.archives-ouvertes.fr/hal-00017260

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A practical automatic polyhedral parallelizer and locality optimizer, PLDI'08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation, pp.101-113, 2008.

P. Boulet, A. Darte, G. Silber, and F. Vivien, Loop parallelization algorithms: From parallelism extraction to code generation, Parallel Computing, vol.24, issue.3-4, 1998.
DOI : 10.1016/S0167-8191(98)00020-9
URL : https://hal.archives-ouvertes.fr/hal-00856896

J. Collard, Space-time transformation of while-loops using speculative execution, Proceedings of IEEE Scalable High Performance Computing Conference, 1994.
DOI : 10.1109/SHPCC.1994.296675

J. Collard, Automatic parallelization ofwhile-loops using speculative execution, International Journal of Parallel Programming, vol.634, issue.1, pp.191-219, 1995.
DOI : 10.1007/BF02577789

J. Collard, D. Barthou, and P. Feautrier, Fuzzy array dataflow analysis, PPOPP'95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp.92-101, 1995.

B. Creusillet and F. Irigoin, Exact versus approximate array region analyses, lncs 1239, LCPC'96 9th Annual Workshop on Programming Languages and Compilers for Parallel Computing, pp.86-100, 1996.

P. Feautrier, Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991.
DOI : 10.1007/BF01407931

P. Feautrier, Some efficient solutions to the affine scheduling problem. I. One-dimensional time, International Journal of Parallel Programming, vol.40, issue.6, pp.313-348, 1992.
DOI : 10.1007/BF01407835

P. Feautrier, Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time, International Journal of Parallel Programming, vol.2, issue.4, pp.389-420, 1992.
DOI : 10.1007/BF01379404

B. Franke and M. O. Boyle, Array recovery and high-level transformations for DSP applications, CPC'10 Intl. Workshop on Compilers for Parallel Computers, pp.29-38, 2003.
DOI : 10.1145/643470.643472

M. Geigl, M. Griebl, and C. Lengauer, A scheme for detecting the termination of a parallel loop nest, Proc. GI/ITG FG PARS'98, 1998.

M. Geigl, M. Griebl, and C. Lengauer, Termination detection in parallel loop nests with while loops, Parallel Computing, vol.25, issue.12, pp.1489-1510, 1999.
DOI : 10.1016/S0167-8191(99)00063-0

M. Griebl and J. Francois-collard, Generation of synchronous code for automatic parallelization of while loops, EURO-PAR '95, pp.315-326, 1995.
DOI : 10.1007/BFb0020474

M. Griebl and C. Lengauer, On scanning space-time mapped while loops, CONPAR 94 -VAPP VI: Proceedings of the Third Joint International Conference on Vector and Parallel Processing, pp.677-688, 1994.
DOI : 10.1007/3-540-58430-7_59

R. Karp, R. Miller, and S. Winograd, The Organization of Computations for Uniform Recurrence Equations, Journal of the ACM, vol.14, issue.3, pp.563-590, 1967.
DOI : 10.1145/321406.321418

K. Knobe and V. Sarkar, Array SSA form and its use in parallelization, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.107-120, 1998.
DOI : 10.1145/268946.268956

X. Kong, D. Klappholz, and K. Psarris, The i test: A new test for subscript data dependence, ICPP'90 Intl. Conf. on Parallel Processing, pp.204-211, 1990.

A. Lim, Improving Parallelism and Data Locality with Affine Partitioning, 2001.

L. Pouchet, C. Bastoul, A. Cohen, and S. Cavazos, Iterative optimization in the polyhedral model: Part II, multidimensional time, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'08), pp.90-100, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01257273

W. Pugh and D. Wonnacott, An exact method for analysis of value-based array data dependences, LCPC'93 Sixth Annual Workshop on Programming Languages and Compilers for Parallel Computing, pp.546-566, 1993.
DOI : 10.1007/3-540-57659-2_31

F. Quilleré, S. Rajopadhye, and D. Wilde, Generation of efficient nested loops from polyhedra, International Journal of Parallel Programming, vol.28, issue.5, pp.469-498, 2000.
DOI : 10.1023/A:1007554627716

L. Rauchwerger and D. A. Padua, The lrpd test: Speculative run-time parallelization of loops with privatization and reduction parallelization, PLDI'95 Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation, pp.218-232, 1995.

S. Rus, L. Rauchwerger, and J. Hoeflinger, Hybrid analysis, Proceedings of the 16th international conference on Supercomputing , ICS '02, p.31, 2003.
DOI : 10.1145/514191.514229

D. Wilde, A LIBRARY FOR DOING POLYHEDRAL OPERATIONS, Parallel Algorithms and Applications, vol.15, issue.3-4, 1993.
DOI : 10.1007/BF02574699
URL : https://hal.archives-ouvertes.fr/inria-00074515