. Polybench, Polyhedral Benchmark Suite. https://sourceforge

C. Alias, F. Baray, and A. Darte, Bee+cl@k: An implementation of lattice-based array contraction in the source-to-source translator rose, Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES '07, pp.73-82, 2007.

R. Baghdadi, U. Beaugnon, A. Cohen, T. Grosser, M. Kruse et al., PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming, 2015 International Conference on Parallel Architecture and Compilation (PACT), 2015.
DOI : 10.1109/PACT.2015.17

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

V. Basupalli, T. Yuki, S. Rajopadhye, A. Morvan, S. Derrien et al., ompVerify: Polyhedral Analysis for the OpenMP Programmer, Proceedings of the 7th International Conference on OpenMP in the Petascale Era, pp.37-53, 2011.
DOI : 10.1007/978-3-642-13217-9_2

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

U. Beaugnon, A. Kravets, S. Van-haastregt, R. Baghdadi, D. Tweed et al., VOBLA, ACM SIGPLAN Notices, vol.49, issue.5, pp.115-124, 2014.
DOI : 10.1145/2666357.2597818

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

S. G. Bhaskaracharya, U. Bondhugula, and A. Cohen, Smo: An integrated approach to intra-array and inter-array storage optimization, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '16, pp.526-538, 2016.
DOI : 10.1145/2837614.2837636

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

J. Bircsak, P. Craig, R. Crowell, Z. Cvetanovic, J. Harris et al., Extending OpenMP for NUMA Machines, Proceedings of the 2000 ACM/IEEE Conference on Supercomputing, SC '00, 2000.
DOI : 10.1109/sc.2000.10019

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

U. Bondhugula, Compiling affine loop nests for distributed-memory parallel architectures, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on, SC '13, pp.1-33, 2013.
DOI : 10.1145/2503210.2503289

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A practical automatic polyhedral program optimization system, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2008.

P. Chatarasi, J. Shirako, and V. Sarkar, Static Data Race Detection for SPMD Programs via an Extended Polyhedral Representation, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016.

P. Clauss and B. Meister, Automatic memory layout transformations to optimize spatial locality in parameterized loop nests, ACM SIGARCH Computer Architecture News, vol.28, issue.1, pp.11-19, 2000.
DOI : 10.1145/346023.346031

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

A. Cohen, A. Darte, and P. Feautrier, Static Analysis of OpenStream Programs, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01251845

A. Darte, A. Isoard, and T. Yuki, Liveness Analysis in Explicitly Parallel Programs, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01251843

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
DOI : 10.1109/ISPDC.2015.19

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

H. Jordan, S. Pellegrini, P. Thoman, K. Kofler, and T. Fahringer, INSPIRE: the insieme parallel intermediate representation, Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, pp.7-18, 2013.
DOI : 10.1109/PACT.2013.6618792

D. Khaldi, Automatic Resource-Constrained Static Task Parallelization, 2013.
URL : https://hal.archives-ouvertes.fr/pastel-00935483

D. Khaldi, P. Jouvelot, F. Irigoin, and C. Ancourt, SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension, HiPEAC Computing Systems Week, 2013.
DOI : 10.1145/2833157.2833158

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

D. Khaldi, P. Jouvelot, F. Irigoin, C. Ancourt, and B. Chapman, LLVM parallel intermediate representation, Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, LLVM '15, pp.1-2, 2015.
DOI : 10.1145/2833157.2833158

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

A. Klöckner and . Loo, py: Transformation-based code generation for gpus and cpus, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, pp.82-82, 2014.

Q. Lu, C. Alias, U. Bondhugula, T. Henretty, S. Krishnamoorthy et al., Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors, 2009 18th International Conference on Parallel Architectures and Compilation Techniques, pp.348-357, 2009.
DOI : 10.1109/PACT.2009.36

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

Z. Majo and T. R. Gross, A Library for Portable and Composable Data Locality Optimizations for NUMA Systems, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.227-238, 2015.
DOI : 10.1145/3040222

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

A. Muddukrishna, P. A. Jonsson, and M. Brorsson, Locality-Aware Task Scheduling and Data Distribution for OpenMP Programs on NUMA Systems and Manycore Processors, Scientific Programming, 2015.
DOI : 10.1145/1555815.1555779

URL : http://doi.org/10.1155/2015/981759

R. T. Mullapudi, V. Vasista, and U. Bondhugula, Polymage: Automatic optimization for image processing pipelines, Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, pp.429-443, 2015.

S. Pellegrini, T. Hoefler, and T. Fahringer, Exact Dependence Analysis for Increased Communication Overlap, Proceedings of the 19th European Conference on Recent Advances in the Message Passing Interface, EuroMPI'12, pp.89-99, 2012.
DOI : 10.1007/978-3-642-33518-1_14

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

A. Plesco, Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00544349

A. Pop and A. Cohen, OpenStream, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-5325, 2013.
DOI : 10.1145/2400682.2400712

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

J. Ragan-kelley, C. Barnes, A. Adams, S. Paris, F. Durand et al., Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, pp.519-530, 2013.

S. Verdooleage, 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
DOI : 10.1145/2400682.2400713

T. Yuki, P. Feautrier, S. Rajopadhye, and V. Saraswat, Array Dataflow Analysis for Polyhedral X10 Programs, Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, pp.23-34, 2013.
DOI : 10.1145/2442516.2442520

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

H. Zhang, A. Venkat, P. Basu, and M. Hall, Combining Polyhedral and AST Transformations in CHiLL, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016.