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, 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, Proc. of the 2008 ACM Conf. on Programming language design and implementation (PLDI'08), 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/inria-00565000

P. Carribault, A. Cohen, and W. Jalby, Deep jam: conversion of coarse-grain parallelism to instruction-level and vector parallelism for irregular applications, 14th International Conference on Parallel Architectures and Compilation Techniques (PACT'05), pp.291-300, 2005.
DOI : 10.1109/PACT.2005.16

URL : https://hal.archives-ouvertes.fr/hal-01257293

C. Chen, J. Chame, and M. Hall, A framework for composing high-level loop transformations, 2008.

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, ACM Symp. on Principles and practice of parallel programming (PPOPP'95), 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

S. Girbal, N. Vasilache, C. Bastoul, A. Cohen, D. Parello et al., Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies, International Journal of Parallel Programming, vol.20, issue.1, 2006.
DOI : 10.1007/s10766-006-0012-3

URL : https://hal.archives-ouvertes.fr/hal-01257288

M. Griebl and J. 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, 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, 1990.

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

M. Palkovi?, Enhanced Applicability of Loop Transformations, 2007.

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

L. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam et al., Hybrid iterative and model-driven optimization in the polyhedral model, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00419974

W. Pugh, The Omega test: a fast and practical integer programming algorithm for dependence analysis, Proceedings of the 1991 ACM/IEEE conference on Supercomputing , Supercomputing '91, pp.4-13, 1991.
DOI : 10.1145/125826.125848

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

R. Rangan, N. Vachharajani, M. Vachharajani, and D. I. , Decoupled software pipelining with the synchronization array, Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., 2004.
DOI : 10.1109/PACT.2004.1342552

L. Rauchwerger and D. A. Padua, The LRPD test: Speculative run-time parallelization of loops with privatization and reduction parallelization, ACM Conf. on Programming Language Design and Implementation (PLDI'95), 1995.

S. Rus, M. Pennings, and L. Rauchwerger, Sensitivity analysis for automatic parallelization on multi-cores, Proceedings of the 21st annual international conference on Supercomputing, ICS '07, 2007.
DOI : 10.1145/1274971.1275008

S. Rus and L. Rauchwerger, Hybrid dependence analysis for automatic parallelization, 2003.

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