Array SSA for explicitly parallel programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1685 LNCS, Issue , 1999, Pages 383-390

  Collard, Jean François ^a  

^a UNIVERSITY OF VERSAILLES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EVENT-BASED SYNCHRONIZATION; MEMORY CONSISTENCY; MUTUAL EXCLUSIONS; PARALLEL PROGRAM; SEQUENTIAL PROGRAMS;

ARTIFICIAL INTELLIGENCE;

EID: 84878637220     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48311-x_50     Document Type: Conference Paper

References (9)

1. D. Barthou, J.-F. Collard, and P. Feautrier. Fuzzy array dataflow analysis. Journal of Parallel and Distributed Computing, 40: 210-226, 1997. (Pubitemid 127174334)
2. J.-F. Collard and M. Griebl. Array dataflow analysis for explicitly parallel programs. Parallel Processing Letters, 1997.
3. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. on Prog. Lang. Sys., 13(4): 451-490, Oct. 1991.
4. J. Ferrante, D. Grunwald, and H. Srinivasan. Computing communication sets for control parallel programs. In W. on Lang. and Comp. for Par. Comp. (LCPC), volume 892 of LNCS, pages 316-330, Ithaca, NY, August 1994.
5. D. Grunwald and H. Srinivasan. Data flow equations for explicitely parallel programs. In ACM Symp. on Prin. of Prog. Lang. (PoPL), pages 159-168, May 1993.
6. K. Knobe and V. Sarkar. Array SSA form and its use in parallelization. In ACM Symp. on Prin. of Prog. Lang. (PoPL), pages 107-120, San Diego, CA, Jan. 1998.
7. J. Lee, S. Midkiff, and D. A. Padua. Concurrent static single assignment form and constant propagation for explicitly parallel programs. In W. on Lang. and Comp. for Par. Comp. (LCPC), Aug. 1997.
8. D. Novillo, R. Unrau, and J. Schaeffer. Concurrent SSA form in the presence of mutual exclusion. In Int. Conf. on Par. Proc. (ICPP'98), pages 356-364, Aug. 1998.
9. H. Srinivasan, J. Hook, and M. Wolfe. Static single assignment form for explicitely parallel programs. In ACM Symp. on Prin. of Prog. Lang. (PoPL), pages 260-272, Charleston, D.C., Jan. 1993. (Pubitemid 23631639)