Corpus ID: 7217828

High level BSP programming: BSML and BS

@inproceedings{Ballereau2007HighLB,
  title={High level BSP programming: BSML and BS},
  author={Olivier Ballereau and F. Loulergue and G. Hains},
  year={2007}
}
  • Olivier Ballereau, F. Loulergue, G. Hains
  • Published 2007
  • Computer Science
  • A functional data-parallel language called BSML is designed for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. Its aim is to combine the generality of languages like NESL with the predictable performance of direct-mode BSP algorithms. The BSML operations are motivated and described. Experiments with a library implementation of BSML show the possibility and limitations of parallel performance prediction in this framework. 

    Topics from this paper.

    An SPMD environment machine for functional BSP programs
    • 10
    Functional BSP Programs on Enumerated Vectors
    • 9
    Verifying Functional Bulk Synchronous Parallel Programs Using the Coq System
    • 2
    Implementation of the BSMLlib Library v 0 . 2
    Safe usage of registers in BSPlib
    Minimally Synchronous Parallel ML with Parallel Composition
    Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
    • 2
    • Highly Influenced

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 24 REFERENCES
    BSPlib: The BSP programming library
    • 350
    • PDF
    Communicating sequential processes
    • 9,269
    • PDF
    A bridging model for parallel computation
    • 3,788
    • PDF
    The Data-Parallel Categorical Abstract Machine
    • 21
    NESL: A Nested Data-Parallel Language (Version 2.6)
    • 151
    • PDF
    Direct Bulk-Synchronous Parallel Algorithms
    • 109
    A calculus of functional BSP programs
    • 64
    V-nested parallelism in C
    • 17
    Programming in occam
    • 79
    • PDF