Communication set generation significantly influences the performance of parallel programs. However, seldom works gives attention to the communication generation problem for irregular applications. In this paper, we will explain how support to generate communication set for irregular array references in loops. We propose a compile-time algorithm by introducing some symbolic analysis techniques. In our symbolic analysis system, a set of symbolic solutions of a symbolic expression system is solved by limiting some restrictions. For this proposal, we introduce some symbolic analysis algorithms to fix solutions in a system of equalities and inequalities. Finally, we show experimental results on a parallel computer CM-5 that validate our approa...
This paper describes a number of optimizations that can be used to support the efficient execution o...
An important research topic is parallelizing of compilers to generate local memory access sequences ...
This paper presents a novel framework for the symbolic bounds analysis of pointers, array indices, a...
In this paper, we propose a communication cost reduction computes rule for irregular loop partitioni...
this paper, we propose a communication cost reduction computes rule for irregular loop partitioning...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
In this paper we describe efficient symbolic evaluation techniques to compute the values of variable...
Data-parallel languages allow programmers to use the familiar machine-independent programming style ...
To effectively translate real programs written in standard, sequential languages into parallel compu...
Abstract. Understanding symbolic expressions is an important capability of advanced program analysis...
Abstract. In most cases of distributed memory computations, node programs are executed on processors...
In most cases of distributed memory computations, node programs are executed on processors according...
There are many important applications in computational fluid dynamics, circuit simulation and struct...
Symbolic analysis is an enabling technique that improves the effectiveness of compiler optimizations...
Array dependence analysis is all important component of any optimizing/parallelizing compiler. The r...
This paper describes a number of optimizations that can be used to support the efficient execution o...
An important research topic is parallelizing of compilers to generate local memory access sequences ...
This paper presents a novel framework for the symbolic bounds analysis of pointers, array indices, a...
In this paper, we propose a communication cost reduction computes rule for irregular loop partitioni...
this paper, we propose a communication cost reduction computes rule for irregular loop partitioning...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
In this paper we describe efficient symbolic evaluation techniques to compute the values of variable...
Data-parallel languages allow programmers to use the familiar machine-independent programming style ...
To effectively translate real programs written in standard, sequential languages into parallel compu...
Abstract. Understanding symbolic expressions is an important capability of advanced program analysis...
Abstract. In most cases of distributed memory computations, node programs are executed on processors...
In most cases of distributed memory computations, node programs are executed on processors according...
There are many important applications in computational fluid dynamics, circuit simulation and struct...
Symbolic analysis is an enabling technique that improves the effectiveness of compiler optimizations...
Array dependence analysis is all important component of any optimizing/parallelizing compiler. The r...
This paper describes a number of optimizations that can be used to support the efficient execution o...
An important research topic is parallelizing of compilers to generate local memory access sequences ...
This paper presents a novel framework for the symbolic bounds analysis of pointers, array indices, a...