C. Ancourt and . Frann-cois-irigoin, Scanning polyhedra with DO loops, Symposium on Principles and Practice o f P a r allel Programming, pp.39-50, 1991.
DOI : 10.1145/109625.109631
URL : https://hal.archives-ouvertes.fr/hal-00752774

B. Eatrice-apvrille-creusillet, R egions exactes et privatisation de tableaux (Exact array region analyses and array p r i v atization) Master's thesis Available via http, 1994.

V. Balasundaram and K. Kennedy, A t e c hnique for summarizing data access and its use in parallelism enhancing transformations, International Conference on Programming Language Design and Implementation, pp.41-53, 1989.

M. Berry, D. Chen, P. Koss, D. Kuck, V. Lo et al., The Perfect Club Benchmarks: Effective Performance Evaluation of Supercomputers, International Journal of High Performance Computing Applications, vol.3, issue.3, 1989.
DOI : 10.1177/109434208900300302

W. Blume and R. Eigenmann, Performance analysis pf parallelizing compilers on the Perfect Benchmarks programs, IEEE Transactions on Parallel and Distributed Systems, vol.3, issue.6, pp.643-656, 1992.
DOI : 10.1109/71.180621

T. Brandes, The importance of direct dependences for automatic parallelization, Proceedings of the 2nd international conference on Supercomputing , ICS '88, pp.407-417, 1988.
DOI : 10.1145/55364.55404

M. Burke and R. Cytron, Interprocedural dependence analysis and parallelization, ACM SIGPLAN Notices, vol.21, issue.7, pp.162-175, 1986.
DOI : 10.1145/13310.13328

D. Callahan and K. Kennedy, Analysis of interprocedural side effects in a parallel programming environment, Journal of Parallel and Distributed Computing, vol.5, issue.5, pp.517-550, 1988.
DOI : 10.1016/0743-7315(88)90011-1

F. Coelho, Compilation of I/O communications for HPF Available via http, Frontiers'95, 1995.

F. Coelho and C. Ancourt, Optimal Compilation of HPF Remappings, Journal of Parallel and Distributed Computing, vol.38, issue.2, 1995.
DOI : 10.1006/jpdc.1996.0143
URL : https://hal.archives-ouvertes.fr/hal-00752603

J. Collard, Automatic parallelization ofwhile-loops using speculative execution, International Journal of Parallel Programming, vol.634, issue.1, pp.191-219, 1995.
DOI : 10.1007/BF02577789

B. and C. Frann-cois-irigoin, Interprocedural array regions analyses, Languages and Compilers for Parallel Computing, 1995.

P. Feautrier, Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991.
DOI : 10.1007/BF01407931

J. Gu, Z. Li, and G. Lee, Symbolic array dataaow analysis for array privatization and program parallelization, Supercomputing, 1995.

M. Hall, B. Murphy, S. Amarasinghe, S. Liao, and M. Lam, Interprocedural analysis for parallelization, Languages and Compilers for Parallel Computing, pp.61-80, 1995.
DOI : 10.1007/BFb0014192

P. Havlak and K. Kennedy, An implementation of interprocedural bounded regular section analysis, IEEE Transactions on Parallel and Distributed Systems, vol.2, issue.3, pp.350-360, 1991.
DOI : 10.1109/71.86110

. Frann-cois-irigoin, Interprocedural analyses for programming environments, Workshop on Environments and Tools for Parallel Scientiic Computing, pp.333-350, 1992.

P. Frann-cois-irigoin, R. Jouvelot, and . Triolet, Semantical interprocedural parallelization: An overview of the PIPS project, International Conference o n Supercomputing, pp.144-151, 1991.

C. Li, E. M. Stewart, W. Kent, and F. Uchs, Compiler-assisted full checkpointing. Software : P r actice and Experience, pp.871-886, 1994.
DOI : 10.1002/spe.4380241002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3165

A. Leservot, Analyses interproc edurales du ot des donn ees, 1996.

Z. Li, Array privatization for parallel execution of loops, International Conference o n S u p ercomputing, pp.313-322, 1992.

V. Maslov, Lazy array data--ow analysis, Symposium on Principles of Programming Languages, pp.311-325, 1994.

V. Maslov and W. Pugh, Simplifying polynomial constraints over integers to make dependence analysis more precise, 1994.
DOI : 10.1007/3-540-58430-7_64

T. Nguyen, J. Gu, and Z. Li, An interprocedural parallelizing compiler and its support for memory hierarchy research, Languages and Compilers for Parallel Computing, 1995.
DOI : 10.1007/BFb0014194

M. Paleczny, K. Kennedy, and C. Koelbel, Compiler support for outof-core arrays on parallel machines, Frontiers'95, pp.110-118, 1995.

W. Pugh, A practical algorithm for exact array dependence analysis, Communications of the ACM, vol.35, issue.8, pp.102-114, 1992.
DOI : 10.1145/135226.135233

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

P. Tang, Exact side eeects for interprocedural dependence analysis, International Conference o n S u p ercomputing, pp.137-146, 1993.

R. Emi and T. , Contribution a l a p arall elisation automatique de programmes Fortran comportant des appe l s d e p r oc edures, 1984.

R. Emi-triolet, P. Feautrier, and F. Cois-irigoin, Direct parallelization of call statements, ACM SIGPLAN Symposium on Compiler Construction, pp.176-185, 1986.

P. Tu and D. Padua, Automatic array privatization, Languages and Compilers for Parallel Computing, 1993.