New shape analysis techniques for automatic parallelization of C codes

Authors:
F. Corbera;R. Asenjo;E. L. Zapata
Affiliations:
Computer Architecture Department, University of Malaga;Computer Architecture Department, University of Malaga;Computer Architecture Department, University of Malaga
Venue:
ICS '99 Proceedings of the 13th international conference on Supercomputing
Year:
1999

Direct methods for sparse matrices

Direct methods for sparse matrices
Detecting conflicts between structure accesses

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Dependence analysis for pointer variables

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Analysis of pointers and structures

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A general data dependence test for dynamic, pointer-based data structures

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Alias analysis of pointers in Pascal and Fortran 90: dependence analysis between pointer references

Acta Informatica
Solving shape-analysis problems in languages with destructive updating

ACM Transactions on Programming Languages and Systems (TOPLAS)
Loop Transformations for Restructuring Compilers: The Foundations

Loop Transformations for Restructuring Compilers: The Foundations
Parallelizing Programs with Recursive Data Structures

IEEE Transactions on Parallel and Distributed Systems
Analysis of Dynamic Structures for Efficient Parallel Execution

Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing

Hi-index	0.00