12 research outputs found

    What Really is Data Parallel Programming?

    No full text
    We developed a theory in order to address crucial questions of program design methodology. We think that it could unify two concepts of data-parallel programming that we consider fundamental as they concern data locality expression: the notions of alignment in HPF and shape in C . Our wish is to provide a semantic domain where data-parallel statements can be systematically proved as well as efficiently implemented. Keywords. Data Parallel Programming, Equational Languages, Parallel Programs Design Methodologies, Proof of programs, Shape in Parallel Programming. Technical areas. Compilers and Languages, Programming Methodologies and Software. 1. Introduction The interest of concepts beyond any programming language is that they express the relationship between what the programmer knows about the problem he wants to address and what the compiler knowns about the architecture on which the program will execute. These concepts state a connection between those two individual knowledge..

    A Theoretical Framework of Data Parallelism and its Operational Semantics

    No full text
    . We developed a theory in order to address crucial questions of program design methodology. We think that it could unify two concepts of data parallel programming that we consider fundamental as they concern data locality expression: the notions of alignment in HPF and shape in C . In this article, we aim at exploring the impact of program transformations on eciency. For this, we dene a formal operational semantics associated with the aforementioned theory. 1 Introduction The interest of the concepts that lie behind any programming language is that they express the relationship between what the programmer knows about the problem he wants to address and what the compiler knowns about the architecture on which the program will execute. These concepts consist then in an abstract knowledge that the programmer and the compiler share and can use to interact and eventually perform the best implementation. This is even more true when the architecture is a parallel one, when both..

    Typechecking of Pei expressions

    No full text

    Sparse computations with Pei

    No full text

    A theoretical framework of data parallelism and its operational semantics

    No full text
    Abstract. We developed a theory in order to address crucial questions of program design methodology. We think that it could unify two concepts of data parallel programming that we consider fundamental as they concern data locality expression: the notions of alignment in HPF and shape in C*. In this article, we aim at exploring the impact of program transformations on efficiency. For this, we define a formal operational semantics associated with the aforementioned theory

    SPARSE COMPUTATION WITH PEI

    No full text

    Experiments in Load Balancing Across the Grid Via a Code Transformation

    No full text
    corecore