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. M. Lucassen and D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.47-57, 1988.
DOI : 10.1145/73560.73564

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.4916

B. L. Chamberlain, Chapel (Cray Inc. HPCS Language), " in Encyclopedia of Parallel Computing, pp.249-256, 2011.

M. Amini, F. Coelho, F. Irigoin, R. Keryell, and S. Guelton, Static compilation analysis for host-accelerator communication optimization Building source-to-source compilers for heterogenous targets, International Workshop on Languages and Compilers for Parallel Computing (LCPC), Fort Collins, 2011.

Y. Kreinin, C as an intermediate language Available: http://yosefk.com/blog/c-as-an-intermediate-language

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

M. Paristech, . Psl-research, and . University, PIPS, 1989.

M. J. Gordon, The denotational description of programming languages -an introduction, 1979.

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

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

B. Creusillet, Array region analyses and applications, 1996.
DOI : 10.1007/bfb0014191

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.3352

S. Guelton, M. Amini, and B. Creusillet, Beyond Do Loops: Data Transfer Generation with Convex Array Regions, 25th International Workshop on Languages and Compilers for Parallel Computing, pp.249-263, 2012.
DOI : 10.1007/978-3-642-37658-0_17

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

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

A. Acharya and U. Bondhugula, Pluto+: Near-complete modeling of affine transformations for parallelism and locality, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.54-64, 2015.

S. Verdoolaege, J. C. Juega, A. Cohen, J. I. Gómez, C. Tenllado et al., Polyhedral parallel code generation for CUDA, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-5423, 2013.
DOI : 10.1145/2400682.2400713

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

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

M. Benabderrahmane, L. 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, ser. CC'10/ETAPS'10, pp.283-303, 2010.
DOI : 10.1007/978-3-642-11970-5_16

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

T. Grosser, A. Größlinger, and C. Lengauer, POLLY ??? PERFORMING POLYHEDRAL OPTIMIZATIONS ON A LOW-LEVEL INTERMEDIATE REPRESENTATION, Parallel Processing Letters, vol.22, issue.04, 2012.
DOI : 10.1142/S0129626412500107

I. Fassi and P. Clauss, XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance, 2015 14th International Symposium on Parallel and Distributed Computing, pp.100-109, 2015.
DOI : 10.1109/ISPDC.2015.19

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

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., 2004.
DOI : 10.1109/CGO.2004.1281665

M. Obata, J. Shirako, H. Kaminaga, K. Ishizaka, and H. Kasahara, Hierarchical Parallelism Control for Multigrain Parallel Processing, Languages and Compilers for Parallel Computing
DOI : 10.1007/11596110_3

S. Lee, T. Johnson, and R. Eigenmann, Cetus ??? An Extensible Compiler Infrastructure for Source-to-Source Transformation, Languages and Compilers for Parallel Computing, 16th Intl. Workshop, pp.539-553, 2003.
DOI : 10.1007/978-3-540-24644-2_35