Matches in SemOpenAlex for { <https://semopenalex.org/work/W2626931523> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2626931523 abstract "Parallelizing of software improves its effectiveness and productivity. To guarantee correctness, the parallel and serial versions of the same code must be formally verified to be equivalent. We present a novel approach, called GRASSP, that automatically synthesizes parallel single-pass array-processing programs by treating the given serial versions as specifications. Given arbitrary segmentation of the input array, GRASSP synthesizes a code to determine a new segmentation of the array that allows computing partial results for each segment and merging them. In contrast to other parallelizers, GRASSP gradually considers several parallelization scenarios and certifies the results using constrained Horn solving. For several classes of programs, we show that such parallelization can be performed efficiently. The C++ translations of the GRASSP solutions sped performance by up to 5X relative to serial code on an 8-thread machine and Hadoop translations by up to 10X on a 10-node Amazon EMR cluster." @default.
- W2626931523 created "2017-06-23" @default.
- W2626931523 creator A5027818967 @default.
- W2626931523 creator A5077694562 @default.
- W2626931523 creator A5085160432 @default.
- W2626931523 date "2017-06-14" @default.
- W2626931523 modified "2023-10-17" @default.
- W2626931523 title "Gradual synthesis for static parallelization of single-pass array-processing programs" @default.
- W2626931523 cites W1552569371 @default.
- W2626931523 cites W1646049001 @default.
- W2626931523 cites W1991069419 @default.
- W2626931523 cites W2057156093 @default.
- W2626931523 cites W2069560114 @default.
- W2626931523 cites W2093535699 @default.
- W2626931523 cites W2100830825 @default.
- W2626931523 cites W2110199304 @default.
- W2626931523 cites W2123243337 @default.
- W2626931523 cites W2132774949 @default.
- W2626931523 cites W2135913665 @default.
- W2626931523 cites W2138224468 @default.
- W2626931523 cites W2141539412 @default.
- W2626931523 cites W2146105230 @default.
- W2626931523 cites W2146753709 @default.
- W2626931523 cites W2149236697 @default.
- W2626931523 cites W2149674423 @default.
- W2626931523 cites W2163671349 @default.
- W2626931523 cites W2409856616 @default.
- W2626931523 cites W2514073783 @default.
- W2626931523 cites W81626549 @default.
- W2626931523 doi "https://doi.org/10.1145/3062341.3062382" @default.
- W2626931523 hasPublicationYear "2017" @default.
- W2626931523 type Work @default.
- W2626931523 sameAs 2626931523 @default.
- W2626931523 citedByCount "27" @default.
- W2626931523 countsByYear W26269315232017 @default.
- W2626931523 countsByYear W26269315232018 @default.
- W2626931523 countsByYear W26269315232019 @default.
- W2626931523 countsByYear W26269315232020 @default.
- W2626931523 countsByYear W26269315232021 @default.
- W2626931523 countsByYear W26269315232022 @default.
- W2626931523 countsByYear W26269315232023 @default.
- W2626931523 crossrefType "proceedings-article" @default.
- W2626931523 hasAuthorship W2626931523A5027818967 @default.
- W2626931523 hasAuthorship W2626931523A5077694562 @default.
- W2626931523 hasAuthorship W2626931523A5085160432 @default.
- W2626931523 hasConcept C11413529 @default.
- W2626931523 hasConcept C138101251 @default.
- W2626931523 hasConcept C154945302 @default.
- W2626931523 hasConcept C164833996 @default.
- W2626931523 hasConcept C169590947 @default.
- W2626931523 hasConcept C173608175 @default.
- W2626931523 hasConcept C177264268 @default.
- W2626931523 hasConcept C199360897 @default.
- W2626931523 hasConcept C2776760102 @default.
- W2626931523 hasConcept C2777904410 @default.
- W2626931523 hasConcept C41008148 @default.
- W2626931523 hasConcept C55439883 @default.
- W2626931523 hasConcept C89600930 @default.
- W2626931523 hasConceptScore W2626931523C11413529 @default.
- W2626931523 hasConceptScore W2626931523C138101251 @default.
- W2626931523 hasConceptScore W2626931523C154945302 @default.
- W2626931523 hasConceptScore W2626931523C164833996 @default.
- W2626931523 hasConceptScore W2626931523C169590947 @default.
- W2626931523 hasConceptScore W2626931523C173608175 @default.
- W2626931523 hasConceptScore W2626931523C177264268 @default.
- W2626931523 hasConceptScore W2626931523C199360897 @default.
- W2626931523 hasConceptScore W2626931523C2776760102 @default.
- W2626931523 hasConceptScore W2626931523C2777904410 @default.
- W2626931523 hasConceptScore W2626931523C41008148 @default.
- W2626931523 hasConceptScore W2626931523C55439883 @default.
- W2626931523 hasConceptScore W2626931523C89600930 @default.
- W2626931523 hasLocation W26269315231 @default.
- W2626931523 hasOpenAccess W2626931523 @default.
- W2626931523 hasPrimaryLocation W26269315231 @default.
- W2626931523 hasRelatedWork W1505787035 @default.
- W2626931523 hasRelatedWork W1545342238 @default.
- W2626931523 hasRelatedWork W1591171990 @default.
- W2626931523 hasRelatedWork W1862243604 @default.
- W2626931523 hasRelatedWork W1984303163 @default.
- W2626931523 hasRelatedWork W1985416522 @default.
- W2626931523 hasRelatedWork W1987204888 @default.
- W2626931523 hasRelatedWork W2170268965 @default.
- W2626931523 hasRelatedWork W2365995233 @default.
- W2626931523 hasRelatedWork W4232228459 @default.
- W2626931523 isParatext "false" @default.
- W2626931523 isRetracted "false" @default.
- W2626931523 magId "2626931523" @default.
- W2626931523 workType "article" @default.