Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251036225> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4251036225 endingPage "585" @default.
- W4251036225 startingPage "572" @default.
- W4251036225 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.
- W4251036225 created "2022-05-12" @default.
- W4251036225 creator A5027818967 @default.
- W4251036225 creator A5077694562 @default.
- W4251036225 creator A5085160432 @default.
- W4251036225 date "2017-06-14" @default.
- W4251036225 modified "2023-09-25" @default.
- W4251036225 title "Gradual synthesis for static parallelization of single-pass array-processing programs" @default.
- W4251036225 cites W1552569371 @default.
- W4251036225 cites W1646049001 @default.
- W4251036225 cites W1991069419 @default.
- W4251036225 cites W2057156093 @default.
- W4251036225 cites W2069560114 @default.
- W4251036225 cites W2093535699 @default.
- W4251036225 cites W2100830825 @default.
- W4251036225 cites W2110199304 @default.
- W4251036225 cites W2123243337 @default.
- W4251036225 cites W2132774949 @default.
- W4251036225 cites W2135913665 @default.
- W4251036225 cites W2138224468 @default.
- W4251036225 cites W2141539412 @default.
- W4251036225 cites W2146105230 @default.
- W4251036225 cites W2146753709 @default.
- W4251036225 cites W2149236697 @default.
- W4251036225 cites W2149674423 @default.
- W4251036225 cites W2163671349 @default.
- W4251036225 cites W2409856616 @default.
- W4251036225 cites W2514073783 @default.
- W4251036225 cites W81626549 @default.
- W4251036225 doi "https://doi.org/10.1145/3140587.3062382" @default.
- W4251036225 hasPublicationYear "2017" @default.
- W4251036225 type Work @default.
- W4251036225 citedByCount "4" @default.
- W4251036225 countsByYear W42510362252018 @default.
- W4251036225 countsByYear W42510362252021 @default.
- W4251036225 countsByYear W42510362252022 @default.
- W4251036225 countsByYear W42510362252023 @default.
- W4251036225 crossrefType "journal-article" @default.
- W4251036225 hasAuthorship W4251036225A5027818967 @default.
- W4251036225 hasAuthorship W4251036225A5077694562 @default.
- W4251036225 hasAuthorship W4251036225A5085160432 @default.
- W4251036225 hasConcept C11413529 @default.
- W4251036225 hasConcept C138101251 @default.
- W4251036225 hasConcept C154945302 @default.
- W4251036225 hasConcept C164833996 @default.
- W4251036225 hasConcept C169590947 @default.
- W4251036225 hasConcept C173608175 @default.
- W4251036225 hasConcept C177264268 @default.
- W4251036225 hasConcept C199360897 @default.
- W4251036225 hasConcept C2776760102 @default.
- W4251036225 hasConcept C2777904410 @default.
- W4251036225 hasConcept C41008148 @default.
- W4251036225 hasConcept C55439883 @default.
- W4251036225 hasConcept C89600930 @default.
- W4251036225 hasConceptScore W4251036225C11413529 @default.
- W4251036225 hasConceptScore W4251036225C138101251 @default.
- W4251036225 hasConceptScore W4251036225C154945302 @default.
- W4251036225 hasConceptScore W4251036225C164833996 @default.
- W4251036225 hasConceptScore W4251036225C169590947 @default.
- W4251036225 hasConceptScore W4251036225C173608175 @default.
- W4251036225 hasConceptScore W4251036225C177264268 @default.
- W4251036225 hasConceptScore W4251036225C199360897 @default.
- W4251036225 hasConceptScore W4251036225C2776760102 @default.
- W4251036225 hasConceptScore W4251036225C2777904410 @default.
- W4251036225 hasConceptScore W4251036225C41008148 @default.
- W4251036225 hasConceptScore W4251036225C55439883 @default.
- W4251036225 hasConceptScore W4251036225C89600930 @default.
- W4251036225 hasIssue "6" @default.
- W4251036225 hasLocation W42510362251 @default.
- W4251036225 hasOpenAccess W4251036225 @default.
- W4251036225 hasPrimaryLocation W42510362251 @default.
- W4251036225 hasRelatedWork W1582485370 @default.
- W4251036225 hasRelatedWork W1591171990 @default.
- W4251036225 hasRelatedWork W1594563977 @default.
- W4251036225 hasRelatedWork W1604898313 @default.
- W4251036225 hasRelatedWork W1984303163 @default.
- W4251036225 hasRelatedWork W1985416522 @default.
- W4251036225 hasRelatedWork W1987204888 @default.
- W4251036225 hasRelatedWork W2626931523 @default.
- W4251036225 hasRelatedWork W3047022145 @default.
- W4251036225 hasRelatedWork W2521117258 @default.
- W4251036225 hasVolume "52" @default.
- W4251036225 isParatext "false" @default.
- W4251036225 isRetracted "false" @default.
- W4251036225 workType "article" @default.