D. Maydan, S. Amarasinghe, and M. Lam, Array dataflow analysis and its use in array privatization, ACM Symp. on Principles of Programming Languages, pp.2-15, 1993.

W. Pugh and D. Wonnacott, Eliminating false data dependences using the omega test, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.140-151, 1992.

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

N. Vasilache, A. Cohen, and L. Pouchet, Automatic Correction of Loop Transformations, 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007), pp.292-304, 2007.
DOI : 10.1109/PACT.2007.4336220

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

L. Pouchet, C. Bastoul, A. Cohen, and J. Cavazos, Iterative optimization in the polyhedral model: Part II, multidimensional time, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.90-100, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01257273

S. Pop, A. Cohen, C. Bastoul, S. Girbal, G. Silber et al., GRAPHITE: Polyhedral Analyses and Optimizations for GCC, Proceedings of the 2006 GCC Developers Summit, p.2006, 2006.

D. Barthou, J. Collard, and P. Feautrier, Fuzzy Array Dataflow Analysis, Journal of Parallel and Distributed Computing, vol.40, issue.2, 1997.
DOI : 10.1006/jpdc.1996.1261

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

W. Pugh and D. Wonnacott, Constraint-based array dependence analysis, ACM Transactions on Programming Languages and Systems, vol.20, issue.3, pp.635-678, 1998.
DOI : 10.1145/291889.291900

D. Barthou, Array dataflow analysis in presence of non-affine constraints, 1998.
URL : https://hal.archives-ouvertes.fr/tel-00277799

R. Keryell, C. Ancourt, F. Coelho, and F. Irigoin, PIPS: A workbench for building interprocedural parallelizers, compilers and optimizers, 1996.

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, pp.263-273, 2007.
DOI : 10.1145/1274971.1275008

S. Rus, L. Rauchwerger, and J. Hoeflinger, Hybrid analysis, Proceedings of the 16th international conference on Supercomputing , ICS '02, pp.251-283, 2003.
DOI : 10.1145/514191.514229

V. Menon, K. Pingali, and N. Mateev, Fractal symbolic analysis, ACM Transactions on Programming Languages and Systems, vol.25, issue.6, pp.776-813, 2003.
DOI : 10.1145/945885.945888

URL : http://arxiv.org/abs/cs/0001009

M. Frigo and S. G. Johnson, FFTW: an adaptive software architecture for the FFT, Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP '98 (Cat. No.98CH36181), pp.1381-1384, 1998.
DOI : 10.1109/ICASSP.1998.681704

U. Thales and . Inria, Ter@ops-emb Project, 2009.

C. Alias and D. Barthou, Algorithm Recognition based on Demand-Driven Data-flow Analysis, IEEE Working Conference on Reverse Engineering, pp.296-305, 2003.

C. Bastoul, Efficient code generation for automatic parallelization and optimization, Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings., pp.23-30, 2003.
DOI : 10.1109/ISPDC.2003.1267639

P. Feautrier, Parametric integer programming, RAIRO - Operations Research, vol.22, issue.3, pp.243-268, 1988.
DOI : 10.1051/ro/1988220302431