Files in this item
Farms, pipes, streams and reforestation : reasoning about structured parallel processes using types and hylomorphisms
Item metadata
dc.contributor.author | Castro, David | |
dc.contributor.author | Hammond, Kevin | |
dc.contributor.author | Sarkar, Susmit | |
dc.date.accessioned | 2016-11-11T15:30:17Z | |
dc.date.available | 2016-11-11T15:30:17Z | |
dc.date.issued | 2016-09-04 | |
dc.identifier | 243004874 | |
dc.identifier | 7c87862e-3116-4bac-916c-85a727c8278c | |
dc.identifier | 85031007825 | |
dc.identifier | 000393580700004 | |
dc.identifier.citation | Castro , D , Hammond , K & Sarkar , S 2016 , Farms, pipes, streams and reforestation : reasoning about structured parallel processes using types and hylomorphisms . in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) . ACM SIGPLAN Notices , no. 9 , vol. 51 , ACM , New York , pp. 4-17 , ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming , Nara , Japan , 18/09/16 . https://doi.org/10.1145/2951913.2951920 | en |
dc.identifier.citation | conference | en |
dc.identifier.isbn | 9781450342193 | |
dc.identifier.issn | 0362-1340 | |
dc.identifier.other | ORCID: /0000-0002-4326-4562/work/33080446 | |
dc.identifier.other | ORCID: /0000-0002-4259-9213/work/125727586 | |
dc.identifier.uri | https://hdl.handle.net/10023/9810 | |
dc.description.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 a combination of algorithmic skeletons that yields good parallel speedups for a program on some specific parallel architecture remains a difficult task. In order to achieve this, it is necessary to simultaneously reason both about the costs of different parallel structures and about the semantic equivalences between them. This paper presents a new type-based mechanism that enables strong static reasoning about these properties. We exploit well-known properties of a very general recursion pattern, hylomorphisms, and give a denotational semantics for structured parallel processes in terms of these hylomorphisms. Using our approach, it is possible to determine formally whether it is possible to introduce a desired parallel structure into a program without altering its functional behaviour, and also to choose a version of that parallel structure that minimises some given cost model. | |
dc.format.extent | 380271 | |
dc.language.iso | eng | |
dc.publisher | ACM | |
dc.relation.ispartof | Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) | en |
dc.relation.ispartofseries | ACM SIGPLAN Notices | en |
dc.subject | Parallelism | en |
dc.subject | Type-systems | en |
dc.subject | Hylomorphisms | en |
dc.subject | Term rewriting systems | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | NDAS | en |
dc.subject | BDC | en |
dc.subject | R2C | en |
dc.subject | ~DC~ | en |
dc.subject | MCP | en |
dc.subject.lcc | QA75 | en |
dc.title | Farms, pipes, streams and reforestation : reasoning about structured parallel processes using types and hylomorphisms | en |
dc.type | Conference item | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | 10.1145/2951913.2951920 | |
dc.identifier.grantnumber | EP/M027317/1 | en |
dc.identifier.grantnumber | 644235 | en |
dc.identifier.grantnumber | FP&-ICT-2011-7 | en |
dc.identifier.grantnumber | 611242 | en |
dc.identifier.grantnumber | EP/F030657/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.