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, PPoPP'15, pp.54-64, 2015.

G. Somashekaracharya, U. Bhaskaracharya, A. Bondhugula, and . Cohen, Automatic intra-array storage optimization, 2014.

S. Bhaskaracharya, U. Bondhugula, and A. Cohen, SMO: An integrated approach to intra-array and inter-array storage optimization, Proceedings of the 43rd Annual Symposium on Principles of Programming Languages, POPL'16, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01425888

U. Bondhugula, S. Muthu-manikandan-baskaran, J. Krishnamoorthy, A. Ramanujam, P. Rountev et al., Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model, Proceedings of the 17th International Conference on Compiler Construction, CC'08, pp.132-146, 2008.
DOI : 10.1007/978-3-540-78791-4_9

A. Cilardo and L. Gallo, Improving Multibank Memory Access Parallelism with Lattice-Based Partitioning, ACM Transactions on Architecture and Code Optimization, vol.11, issue.4, pp.1-4525, 2014.
DOI : 10.1145/2675359

A. Darte, Optimal parallelism detection in nested loops, Encyclopedia of Parallel Programming, 2011.

A. Darte, L. Khachiyan, and Y. Robert, LINEAR SCHEDULING IS NEARLY OPTIMAL, Parallel Processing Letters, vol.01, issue.02, pp.73-81, 1991.
DOI : 10.1142/S0129626491000021
URL : https://hal.archives-ouvertes.fr/hal-00857050

A. Darte, R. Schreiber, and G. Villard, Lattice-based memory allocation, Proceedings of the 6th ACM International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, CASES'03, pp.298-308, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01272969

A. Darte, R. Schreiber, and G. Villard, Lattice-Based Memory Allocation, IEEE Transactions on Computers, vol.54, issue.10, pp.1242-1257, 2005.
DOI : 10.1109/TC.2005.167
URL : https://hal.archives-ouvertes.fr/hal-01272969

F. Eddy-de-greef, H. Catthoor, and . Man, Memory size reduction through storage order optimization for embedded parallel multimedia applications, Parallel Computing, vol.23, issue.12, pp.1811-1837, 1997.
DOI : 10.1016/S0167-8191(97)00089-6

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

P. Feautrier, The power of polynomials, Proceedings of the 5th International Workshop on Polyhedral Compilation Techniques, IMPACT '15, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01094787

V. Lefebvre and P. Feautrier, Automatic storage management for parallel programs, Parallel Computing, vol.24, issue.3-4, pp.649-671, 1998.
DOI : 10.1016/S0167-8191(98)00029-5

F. Quilleré and S. Rajopadhye, Optimizing memory usage in the polyhedral model, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.22, issue.5, pp.773-815, 2000.

A. Schrijver, Theory of Linear and Integer Programming, 1986.

M. Mills-strout, L. Carter, J. Ferrante, and B. Simon, Schedule-independent storage mapping for loops, Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '98, pp.24-33, 1998.

W. Thies, F. Vivien, and S. P. Amarasinghe, A step towards unifying schedule and storage optimization, ACM Transactions on Programming Languages and Systems, vol.29, issue.6, p.29, 2007.
DOI : 10.1145/1286821.1286825
URL : https://hal.archives-ouvertes.fr/hal-00803509

S. Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, Mathematical Software?ICMS, pp.299-302, 2010.
DOI : 10.1007/978-3-642-15582-6_49

S. Verdoolaege, Counting affine calculator and applications, Proceedings of the 1st International Workshop on Polyhedral Compilation Techniques, 2011.

J. Xue, Loop Tiling for Parallelism, 2000.
DOI : 10.1007/978-1-4615-4337-4

T. Yuki and S. Rajopadhye, Memory allocations for tiled uniform dependence programs, Proceedings of the 3rd International Workshop on Polyhedral Compilation Techniques, IMPACT '13, pp.13-22, 2013.

R. N°-8840 and R. Centre-grenoble-?-rhône-alpes, Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, pp.249-6399