Matches in SemOpenAlex for { <https://semopenalex.org/work/W2495204228> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2495204228 endingPage "183" @default.
- W2495204228 startingPage "167" @default.
- W2495204228 abstract "The class of stencil programs involves repeatedly updating elements of arrays according to fixed patterns, referred to as stencils. Stencil problems are ubiquitous in scientific computing and are used as an ingredient to solve more involved problems. Their high regularity allows massive parallelization. Two important challenges in designing such algorithms are cache efficiency and minimizing the number of communication steps between nodes. In this paper, we introduce a mathematical framework for a crucial aspect of formal verification of both sequential and distributed stencil algorithms, and we describe its Coq implementation. We present a domain-specific embedded programming language with support for automating the most tedious steps of proofs that nested loops respect dependencies, applicable to sequential and distributed examples. Finally, we evaluate the robustness of our library by proving the dependency-correctness of some real-world stencil algorithms, including a state-of-the-art cache-oblivious sequential algorithm, as well as two optimized distributed kernels." @default.
- W2495204228 created "2016-08-23" @default.
- W2495204228 creator A5016610430 @default.
- W2495204228 creator A5078100439 @default.
- W2495204228 date "2016-01-01" @default.
- W2495204228 modified "2023-09-24" @default.
- W2495204228 title "Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms" @default.
- W2495204228 cites W1504751168 @default.
- W2495204228 cites W1965081941 @default.
- W2495204228 cites W1968013322 @default.
- W2495204228 cites W1979457157 @default.
- W2495204228 cites W2000759575 @default.
- W2495204228 cites W2022458617 @default.
- W2495204228 cites W2045271686 @default.
- W2495204228 cites W2076960126 @default.
- W2495204228 cites W2097699872 @default.
- W2495204228 cites W2121717408 @default.
- W2495204228 cites W2147177731 @default.
- W2495204228 cites W2168272209 @default.
- W2495204228 cites W2168412050 @default.
- W2495204228 cites W2293033107 @default.
- W2495204228 cites W3103675537 @default.
- W2495204228 cites W4234350265 @default.
- W2495204228 cites W4243099941 @default.
- W2495204228 cites W4244063180 @default.
- W2495204228 cites W56092462 @default.
- W2495204228 doi "https://doi.org/10.1007/978-3-319-43144-4_11" @default.
- W2495204228 hasPublicationYear "2016" @default.
- W2495204228 type Work @default.
- W2495204228 sameAs 2495204228 @default.
- W2495204228 citedByCount "2" @default.
- W2495204228 countsByYear W24952042282018 @default.
- W2495204228 countsByYear W24952042282023 @default.
- W2495204228 crossrefType "book-chapter" @default.
- W2495204228 hasAuthorship W2495204228A5016610430 @default.
- W2495204228 hasAuthorship W2495204228A5078100439 @default.
- W2495204228 hasBestOaLocation W24952042282 @default.
- W2495204228 hasConcept C104317684 @default.
- W2495204228 hasConcept C108710211 @default.
- W2495204228 hasConcept C111498074 @default.
- W2495204228 hasConcept C11413529 @default.
- W2495204228 hasConcept C115537543 @default.
- W2495204228 hasConcept C1306188 @default.
- W2495204228 hasConcept C173608175 @default.
- W2495204228 hasConcept C185592680 @default.
- W2495204228 hasConcept C2524010 @default.
- W2495204228 hasConcept C33923547 @default.
- W2495204228 hasConcept C41008148 @default.
- W2495204228 hasConcept C459310 @default.
- W2495204228 hasConcept C55439883 @default.
- W2495204228 hasConcept C55493867 @default.
- W2495204228 hasConcept C63479239 @default.
- W2495204228 hasConcept C76752949 @default.
- W2495204228 hasConcept C80444323 @default.
- W2495204228 hasConceptScore W2495204228C104317684 @default.
- W2495204228 hasConceptScore W2495204228C108710211 @default.
- W2495204228 hasConceptScore W2495204228C111498074 @default.
- W2495204228 hasConceptScore W2495204228C11413529 @default.
- W2495204228 hasConceptScore W2495204228C115537543 @default.
- W2495204228 hasConceptScore W2495204228C1306188 @default.
- W2495204228 hasConceptScore W2495204228C173608175 @default.
- W2495204228 hasConceptScore W2495204228C185592680 @default.
- W2495204228 hasConceptScore W2495204228C2524010 @default.
- W2495204228 hasConceptScore W2495204228C33923547 @default.
- W2495204228 hasConceptScore W2495204228C41008148 @default.
- W2495204228 hasConceptScore W2495204228C459310 @default.
- W2495204228 hasConceptScore W2495204228C55439883 @default.
- W2495204228 hasConceptScore W2495204228C55493867 @default.
- W2495204228 hasConceptScore W2495204228C63479239 @default.
- W2495204228 hasConceptScore W2495204228C76752949 @default.
- W2495204228 hasConceptScore W2495204228C80444323 @default.
- W2495204228 hasLocation W24952042281 @default.
- W2495204228 hasLocation W24952042282 @default.
- W2495204228 hasOpenAccess W2495204228 @default.
- W2495204228 hasPrimaryLocation W24952042281 @default.
- W2495204228 hasRelatedWork W1571368810 @default.
- W2495204228 hasRelatedWork W190731304 @default.
- W2495204228 hasRelatedWork W1972447202 @default.
- W2495204228 hasRelatedWork W2128718940 @default.
- W2495204228 hasRelatedWork W2146167845 @default.
- W2495204228 hasRelatedWork W2189035983 @default.
- W2495204228 hasRelatedWork W2480289003 @default.
- W2495204228 hasRelatedWork W2497986104 @default.
- W2495204228 hasRelatedWork W2736366676 @default.
- W2495204228 hasRelatedWork W4226283508 @default.
- W2495204228 isParatext "false" @default.
- W2495204228 isRetracted "false" @default.
- W2495204228 magId "2495204228" @default.
- W2495204228 workType "book-chapter" @default.