Matches in SemOpenAlex for { <https://semopenalex.org/work/W2916510342> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2916510342 abstract "This thesis deals with the important problem of parallelising sequential code. Despite the importance of parallelism in modern computing, writing parallel software still relies on many low-level and often error-prone approaches. These low-level approaches can lead to serious execution problems such as deadlocks and race conditions. Due to the non-deterministic behaviour of most parallel programs, testing parallel software can be both tedious and time-consuming. A way of providing guarantees of correctness for parallel programs would therefore provide significant benefit. Moreover, even if we ignore the problem of correctness, achieving good speedups is not straightforward, since this generally involves rewriting a program to consider a (possibly large) number of alternative parallelisations. This thesis argues that new languages and frameworks are needed. These language and frameworks must not only support high-level parallel programming constructs, but must also provide predictable cost models for these parallel constructs. Moreover, they need to be built around solid, well-understood theories that ensure that: (a) changes to the source code will not change the functional behaviour of a program, and (b) the speedup obtained by doing the necessary changes is predictable. Algorithmic skeletons are parametric implementations of common patterns of parallelism that provide good abstractions for creating new high-level languages, and also support frameworks for parallel computing that satisfy the correctness and predictability requirements that we require. This thesis presents a new type-based framework, based on the connection between structured parallelism and structured patterns of recursion, that provides parallel structures as type abstractions that can be used to statically parallelise a program. Specifically, this thesis exploits hylomorphisms as a single, unifying construct to represent the functional behaviour of parallel programs, and to perform correct code rewritings between alternative parallel implementations, represented as algorithmic skeletons. This thesis also defines a mechanism for deriving cost models for parallel constructs from a queue-based operational semantics. In this way, we can provide strong static guarantees about the correctness of a parallel program, while simultaneously achieving predictable speedups." @default.
- W2916510342 created "2019-03-02" @default.
- W2916510342 creator A5000346761 @default.
- W2916510342 date "2018-06-27" @default.
- W2916510342 modified "2023-09-28" @default.
- W2916510342 title "Structured arrows : a type-based framework for structured parallelism" @default.
- W2916510342 hasPublicationYear "2018" @default.
- W2916510342 type Work @default.
- W2916510342 sameAs 2916510342 @default.
- W2916510342 citedByCount "0" @default.
- W2916510342 crossrefType "dissertation" @default.
- W2916510342 hasAuthorship W2916510342A5000346761 @default.
- W2916510342 hasConcept C120373497 @default.
- W2916510342 hasConcept C126909462 @default.
- W2916510342 hasConcept C137364921 @default.
- W2916510342 hasConcept C173608175 @default.
- W2916510342 hasConcept C193702766 @default.
- W2916510342 hasConcept C199360897 @default.
- W2916510342 hasConcept C2777904410 @default.
- W2916510342 hasConcept C2781172179 @default.
- W2916510342 hasConcept C34165917 @default.
- W2916510342 hasConcept C3543717 @default.
- W2916510342 hasConcept C41008148 @default.
- W2916510342 hasConcept C55439883 @default.
- W2916510342 hasConcept C61483411 @default.
- W2916510342 hasConcept C68339613 @default.
- W2916510342 hasConcept C76214141 @default.
- W2916510342 hasConcept C80444323 @default.
- W2916510342 hasConceptScore W2916510342C120373497 @default.
- W2916510342 hasConceptScore W2916510342C126909462 @default.
- W2916510342 hasConceptScore W2916510342C137364921 @default.
- W2916510342 hasConceptScore W2916510342C173608175 @default.
- W2916510342 hasConceptScore W2916510342C193702766 @default.
- W2916510342 hasConceptScore W2916510342C199360897 @default.
- W2916510342 hasConceptScore W2916510342C2777904410 @default.
- W2916510342 hasConceptScore W2916510342C2781172179 @default.
- W2916510342 hasConceptScore W2916510342C34165917 @default.
- W2916510342 hasConceptScore W2916510342C3543717 @default.
- W2916510342 hasConceptScore W2916510342C41008148 @default.
- W2916510342 hasConceptScore W2916510342C55439883 @default.
- W2916510342 hasConceptScore W2916510342C61483411 @default.
- W2916510342 hasConceptScore W2916510342C68339613 @default.
- W2916510342 hasConceptScore W2916510342C76214141 @default.
- W2916510342 hasConceptScore W2916510342C80444323 @default.
- W2916510342 hasLocation W29165103421 @default.
- W2916510342 hasOpenAccess W2916510342 @default.
- W2916510342 hasPrimaryLocation W29165103421 @default.
- W2916510342 hasRelatedWork W1591780766 @default.
- W2916510342 hasRelatedWork W1832894047 @default.
- W2916510342 hasRelatedWork W2023096360 @default.
- W2916510342 hasRelatedWork W2077212395 @default.
- W2916510342 hasRelatedWork W2115175274 @default.
- W2916510342 hasRelatedWork W2121514867 @default.
- W2916510342 hasRelatedWork W2339077160 @default.
- W2916510342 hasRelatedWork W2466795713 @default.
- W2916510342 hasRelatedWork W2470267985 @default.
- W2916510342 hasRelatedWork W2488606650 @default.
- W2916510342 hasRelatedWork W2497440208 @default.
- W2916510342 hasRelatedWork W2613033681 @default.
- W2916510342 hasRelatedWork W2790472135 @default.
- W2916510342 hasRelatedWork W2903351818 @default.
- W2916510342 hasRelatedWork W2966103861 @default.
- W2916510342 hasRelatedWork W2968658494 @default.
- W2916510342 hasRelatedWork W2969585691 @default.
- W2916510342 hasRelatedWork W2980011154 @default.
- W2916510342 hasRelatedWork W3046432703 @default.
- W2916510342 hasRelatedWork W589454760 @default.
- W2916510342 isParatext "false" @default.
- W2916510342 isRetracted "false" @default.
- W2916510342 magId "2916510342" @default.
- W2916510342 workType "dissertation" @default.