Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

Abstract

The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algorithmic skeletons. Such approaches provide high-level abstractions that avoid common problems, such as race conditions, and often allow strong cost models to be defined. However, choosing… (More)
DOI: 10.1145/2951913.2951920

Topics

3 Figures and Tables

Slides referencing similar topics