R. Allen and K. Kennedy, Automatic translation of FORTRAN programs to vector form, ACM Transactions on Programming Languages and Systems, vol.9, issue.4, pp.491-542, 1987.
DOI : 10.1145/29873.29875

M. W. Benabderrahmane, L. N. Pouchet, A. Cohen, and C. Bastoul, The Polyhedral Model Is More Widely Applicable Than You Think, Proceedings of the 19th Joint European Conference on Theory and Practice of Software, International Conference on Compiler Construction. pp. 283?303. CC'10, pp.978-981, 2010.
DOI : 10.1007/978-3-642-11970-5_16

URL : https://hal.archives-ouvertes.fr/inria-00551087

A. Bernstein, Analysis of Programs for Parallel Processing. Electronic Computers, IEEE Transactions on EC, vol.15, issue.5, pp.757-763, 1966.

S. Carr and K. Kennedy, Scalar replacement in the presence of conditional control flow, Software: Practice and Experience, vol.28, issue.1, pp.51-77, 1994.
DOI : 10.1002/spe.4380240104

B. Creusillet-apvrille, Analyses de régions de tableaux et applications, 1996.

S. Guelton, M. Amini, and B. Creusillet, Beyond Do Loops: Data Transfer Generation with Convex Array Regions In: 25th International Workshop on Languages and Compilers for Parallel Computing, pp.249-263, 2012.

F. Irigoin, P. Jouvelot, and R. Triolet, Semantical interprocedural parallelization: an overview of the PIPS project, Proceedings of the 5th international conference on Supercomputing. pp. 244?251. ICS '91, 1991.
URL : https://hal.archives-ouvertes.fr/hal-00984684

F. Irigoin, M. Amini, C. Ancourt, F. Coelho, B. Creusillet et al., Poly??dres et compilation, Rencontres francophones du Parallélisme (RenPar'20). Saint- Malo, p.22, 2011.
DOI : 10.3166/tsi.31.987-1019

K. Kennedy and R. Allen, Optimizing Compilers for Modern Architectures: A Dependence-based Approach, 2001.

M. J. Wolfe, High Performance Compilers for Parallel Computing, 1996.

J. Zory, Contributions à l'optimisation de programmes scientifiques, 1999.