Fuzzy array dataflow analysis

Journal of Parallel and Distributed Computing

Volumn 40, Issue 2, 1997, Pages 210-226

  Barthou, Denis ^a   Collard, Jean François ^a   Feautrier, Paul ^a  

^a UNIVERSITY OF VERSAILLES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031068481     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.1996.1261     Document Type: Article

References (20)

1. Banerjee U. Dependence Analysis for Supercomputing. 1988;Kluwer Academic, Boston/Dordrecht/London.
2. T. Brandes, July 1988, The importance of direct dependences for automatic parallelization, ACM Int. Conf. on Supercomputing, St Malo, France.
3. Callahan D., Kennedy K. Compiling programs for distributed memory multiprocessors. J. Supercomputing. 2:1988;151-169.
4. J.-F. Collard, May 1994, Space-time transformation of while-loops using speculative execution, Proc. of the 1994 Scalable High Performance Computing Conf. 429, 436, IEEE, Knoxville, TN.
5. Collard J.-F. Automatic parallelization of while-loops using speculative execution. Int. J. Parallel Programming. 23:Apr. 1995;191-219.
6. J.-F. Collard, D. Barthou, P. Feautrier, July 1995, Fuzzy array dataflow analysis, Proc. of 5th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, 92, 101, Santa Barbara, CA.
7. E. Duesterwald, R. Gupta, M.-L. Soffa, June 1993, A practical data flow framework for array reference analysis and its use in optimization, ACM SIGPLAN'93 Conf. on Prog. Lang. Design and Implementation, 68, 77.
8. A. Dumay, Dec. 1992, Traitement des Indexations non linéaires en parallélisation automatique: Une méthode de linéarisation contextuelle, Université P. et M. Curie.
9. Feautrier P. Parametric integer programming. RAIRO Rech. Opér. 22:Sept. 1988;243-268.
10. Feautrier P. Dataflow analysis of scalar and array references. Int. J. Parallel Programming. 20:Feb. 1991;23-53.
11. Heckler C., Thiele L. Computing linear data dependencies in nested loop programs. Parallel Process. Lett. 4:1994;193-204.
12. Masdupuy F. Int. Conf. on Formal Methods in Programming and their Applications. June 1993;Springer-Verlag, Berlin/New York. p. 142-155.
13. V. Maslov, W. Pugh, Feb. 1994, Simplifying polynomial constraints over integers to make dependence analysis more precise, University of Maryland.
14. D. E. Maydan, S. P. Amarasinghe, M. S. Lam, Jan. 1993, Array dataflow analysis and its use in array privatization, Proc. of ACM Conf. on Principles of Programming Languages, 2, 15.
15. Pugh W., Wonnacott D. An exact method for analysis of value-based array data dependences. Sixth Annual Workshop on Programming Languages and Compilers. Portland, August 1993. 1993;Springer-Verlag, Berlin/New York.
16. Pugh W., Wonnacott D. Nonlinear array dependence analysis. Third Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers. May 1995;Troy, New York.
17. X. Redon, P. Feautrier, June 1993, Detection of reductions in sequentials programs with loops, Proc. of the 5th International Parallel Architectures and Language Europe, BodeArndtReeveMikeWolfGottfried, 694, 132, 145.
18. P. Tu, 1995, Array privatization and demand driven symbolic analysis, University of Illinois at Urbana-Champaign.
19. P. Tu, D. Padua, 1992, Array privatization for shared and distributed memory machines, Proc. of the Seventh Annual Workshop on Languages and Compilers for Parallel Computing (Sept. 1992).
20. D. G. Wonnacott, 1995, Constraint-based array dependence analysis, University of Maryland.