Matches in SemOpenAlex for { <https://semopenalex.org/work/W1469352018> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1469352018 abstract "Distributed memory architectures such as Linux clusters have become increasingly common butremain difficult to program. We target this problem and present a noveltechnique to automatically generate data distribution plans, and subsequently MPI implementations in C++,from programs written in a functional core language. This framework encodes distributed data layouts as types, which are then used both to search (via type inference) for optimal data distribution plans and to generate the MPI implementations. The main novelty of our approach is that it supports multiple collections, distributed arrays, maps, and lists, rather than just arrays. We introduce the core language and explain our formalization of distributed data layouts. We describe how to search for data distribution plans using a type inference algorithm, and how we generate MPI implementations in C++ from such plans. We then show how our types can be extended to support local data layouts and improved array distributions. We also show how a theorem prover and suitable equational theories can be used to yield a better (i.e., more complete) type inference algorithm. We then describe the design of our implementation, and explain how we use a runtime performance-feedback directed search algorithm to find the best data distribution plans for different input programs. Finally, we present some conceptual and experimental evaluation which analyses the capabilities of our approach, and shows that our implementation can find distributed memory implementations of several example programs, and that the performance of generated programs is similar to that of hand-coded versions." @default.
- W1469352018 created "2016-06-24" @default.
- W1469352018 creator A5062128158 @default.
- W1469352018 date "2015-05-01" @default.
- W1469352018 modified "2023-09-27" @default.
- W1469352018 title "Synthesizing imperative distributed-memory implementationsfrom functional data-parallel programs" @default.
- W1469352018 hasPublicationYear "2015" @default.
- W1469352018 type Work @default.
- W1469352018 sameAs 1469352018 @default.
- W1469352018 citedByCount "0" @default.
- W1469352018 crossrefType "dissertation" @default.
- W1469352018 hasAuthorship W1469352018A5062128158 @default.
- W1469352018 hasConcept C133875982 @default.
- W1469352018 hasConcept C138885662 @default.
- W1469352018 hasConcept C138958017 @default.
- W1469352018 hasConcept C154945302 @default.
- W1469352018 hasConcept C162319229 @default.
- W1469352018 hasConcept C173608175 @default.
- W1469352018 hasConcept C198370458 @default.
- W1469352018 hasConcept C199360897 @default.
- W1469352018 hasConcept C26713055 @default.
- W1469352018 hasConcept C27206212 @default.
- W1469352018 hasConcept C2776214188 @default.
- W1469352018 hasConcept C2778738651 @default.
- W1469352018 hasConcept C41008148 @default.
- W1469352018 hasConcept C80444323 @default.
- W1469352018 hasConcept C91481028 @default.
- W1469352018 hasConceptScore W1469352018C133875982 @default.
- W1469352018 hasConceptScore W1469352018C138885662 @default.
- W1469352018 hasConceptScore W1469352018C138958017 @default.
- W1469352018 hasConceptScore W1469352018C154945302 @default.
- W1469352018 hasConceptScore W1469352018C162319229 @default.
- W1469352018 hasConceptScore W1469352018C173608175 @default.
- W1469352018 hasConceptScore W1469352018C198370458 @default.
- W1469352018 hasConceptScore W1469352018C199360897 @default.
- W1469352018 hasConceptScore W1469352018C26713055 @default.
- W1469352018 hasConceptScore W1469352018C27206212 @default.
- W1469352018 hasConceptScore W1469352018C2776214188 @default.
- W1469352018 hasConceptScore W1469352018C2778738651 @default.
- W1469352018 hasConceptScore W1469352018C41008148 @default.
- W1469352018 hasConceptScore W1469352018C80444323 @default.
- W1469352018 hasConceptScore W1469352018C91481028 @default.
- W1469352018 hasLocation W14693520181 @default.
- W1469352018 hasOpenAccess W1469352018 @default.
- W1469352018 hasPrimaryLocation W14693520181 @default.
- W1469352018 hasRelatedWork W1696799466 @default.
- W1469352018 hasRelatedWork W1791611415 @default.
- W1469352018 hasRelatedWork W196328319 @default.
- W1469352018 hasRelatedWork W1970226209 @default.
- W1469352018 hasRelatedWork W1974608873 @default.
- W1469352018 hasRelatedWork W2082604644 @default.
- W1469352018 hasRelatedWork W2097118641 @default.
- W1469352018 hasRelatedWork W2215524946 @default.
- W1469352018 hasRelatedWork W22300583 @default.
- W1469352018 hasRelatedWork W2625056554 @default.
- W1469352018 hasRelatedWork W2764173007 @default.
- W1469352018 hasRelatedWork W2770770269 @default.
- W1469352018 hasRelatedWork W2794901250 @default.
- W1469352018 hasRelatedWork W2963503788 @default.
- W1469352018 hasRelatedWork W3033640012 @default.
- W1469352018 hasRelatedWork W315722798 @default.
- W1469352018 hasRelatedWork W3187559768 @default.
- W1469352018 hasRelatedWork W34481625 @default.
- W1469352018 hasRelatedWork W43866366 @default.
- W1469352018 hasRelatedWork W1763184445 @default.
- W1469352018 isParatext "false" @default.
- W1469352018 isRetracted "false" @default.
- W1469352018 magId "1469352018" @default.
- W1469352018 workType "dissertation" @default.