Array dataflow analysis and its use in array privatization, ACM Symp. on Principles of Programming Languages, pp.2-15, 1993. ,
Eliminating false data dependences using the omega test, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.140-151, 1992. ,
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
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
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
GRAPHITE: Polyhedral Analyses and Optimizations for GCC, Proceedings of the 2006 GCC Developers Summit, p.2006, 2006. ,
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
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
Array dataflow analysis in presence of non-affine constraints, 1998. ,
URL : https://hal.archives-ouvertes.fr/tel-00277799
PIPS: A workbench for building interprocedural parallelizers, compilers and optimizers, 1996. ,
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
Hybrid analysis, Proceedings of the 16th international conference on Supercomputing , ICS '02, pp.251-283, 2003. ,
DOI : 10.1145/514191.514229
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
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
Ter@ops-emb Project, 2009. ,
Algorithm Recognition based on Demand-Driven Data-flow Analysis, IEEE Working Conference on Reverse Engineering, pp.296-305, 2003. ,
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
Parametric integer programming, RAIRO - Operations Research, vol.22, issue.3, pp.243-268, 1988. ,
DOI : 10.1051/ro/1988220302431