Matches in SemOpenAlex for { <https://semopenalex.org/work/W3103849116> ?p ?o ?g. }
- W3103849116 abstract "This paper presents a tool for repairing errors in GPU kernels written in CUDA or OpenCL due to data races and barrier divergence. Our novel extension to prior work can also remove barriers that are deemed unnecessary for correctness. We implement these ideas in our tool called GPURepair, which uses GPUVerify as the verification oracle for GPU kernels. We also extend GPUVerify to support CUDA Cooperative Groups, allowing GPURepair to perform inter-block synchronization for CUDA kernels. To the best of our knowledge, GPURepair is the only tool that can propose a fix for intra-block data races and barrier divergence errors for both CUDA and OpenCL kernels and the only tool that fixes inter-block data races for CUDA kernels. We perform extensive experiments on about 750 kernels and provide a comparison with prior work. We demonstrate the superiority of GPURepair through its capability to fix more kernels and its unique ability to remove redundant barriers and handle inter-block data races." @default.
- W3103849116 created "2020-11-23" @default.
- W3103849116 creator A5022069492 @default.
- W3103849116 creator A5027520319 @default.
- W3103849116 date "2020-11-17" @default.
- W3103849116 modified "2023-09-27" @default.
- W3103849116 title "GPURepair: Automated Repair of GPU Kernels" @default.
- W3103849116 cites W1480909796 @default.
- W3103849116 cites W1560374668 @default.
- W3103849116 cites W1823800073 @default.
- W3103849116 cites W1839854015 @default.
- W3103849116 cites W1872701416 @default.
- W3103849116 cites W1923082132 @default.
- W3103849116 cites W1945685837 @default.
- W3103849116 cites W2021503621 @default.
- W3103849116 cites W2040924621 @default.
- W3103849116 cites W2041756731 @default.
- W3103849116 cites W2076960126 @default.
- W3103849116 cites W2100627043 @default.
- W3103849116 cites W2121064036 @default.
- W3103849116 cites W2121717408 @default.
- W3103849116 cites W2122735631 @default.
- W3103849116 cites W2127612524 @default.
- W3103849116 cites W2131747807 @default.
- W3103849116 cites W2150290060 @default.
- W3103849116 cites W2168272209 @default.
- W3103849116 cites W2234512370 @default.
- W3103849116 cites W2296178404 @default.
- W3103849116 cites W2755348794 @default.
- W3103849116 cites W2910706664 @default.
- W3103849116 cites W602497127 @default.
- W3103849116 cites W3043110088 @default.
- W3103849116 hasPublicationYear "2020" @default.
- W3103849116 type Work @default.
- W3103849116 sameAs 3103849116 @default.
- W3103849116 citedByCount "0" @default.
- W3103849116 crossrefType "posted-content" @default.
- W3103849116 hasAuthorship W3103849116A5022069492 @default.
- W3103849116 hasAuthorship W3103849116A5027520319 @default.
- W3103849116 hasConcept C111919701 @default.
- W3103849116 hasConcept C11413529 @default.
- W3103849116 hasConcept C114614502 @default.
- W3103849116 hasConcept C138885662 @default.
- W3103849116 hasConcept C173608175 @default.
- W3103849116 hasConcept C199360897 @default.
- W3103849116 hasConcept C207390915 @default.
- W3103849116 hasConcept C21442007 @default.
- W3103849116 hasConcept C2524010 @default.
- W3103849116 hasConcept C2777210771 @default.
- W3103849116 hasConcept C2778119891 @default.
- W3103849116 hasConcept C33923547 @default.
- W3103849116 hasConcept C41008148 @default.
- W3103849116 hasConcept C41895202 @default.
- W3103849116 hasConcept C50630238 @default.
- W3103849116 hasConcept C55166926 @default.
- W3103849116 hasConcept C55439883 @default.
- W3103849116 hasConcept C74193536 @default.
- W3103849116 hasConceptScore W3103849116C111919701 @default.
- W3103849116 hasConceptScore W3103849116C11413529 @default.
- W3103849116 hasConceptScore W3103849116C114614502 @default.
- W3103849116 hasConceptScore W3103849116C138885662 @default.
- W3103849116 hasConceptScore W3103849116C173608175 @default.
- W3103849116 hasConceptScore W3103849116C199360897 @default.
- W3103849116 hasConceptScore W3103849116C207390915 @default.
- W3103849116 hasConceptScore W3103849116C21442007 @default.
- W3103849116 hasConceptScore W3103849116C2524010 @default.
- W3103849116 hasConceptScore W3103849116C2777210771 @default.
- W3103849116 hasConceptScore W3103849116C2778119891 @default.
- W3103849116 hasConceptScore W3103849116C33923547 @default.
- W3103849116 hasConceptScore W3103849116C41008148 @default.
- W3103849116 hasConceptScore W3103849116C41895202 @default.
- W3103849116 hasConceptScore W3103849116C50630238 @default.
- W3103849116 hasConceptScore W3103849116C55166926 @default.
- W3103849116 hasConceptScore W3103849116C55439883 @default.
- W3103849116 hasConceptScore W3103849116C74193536 @default.
- W3103849116 hasLocation W31038491161 @default.
- W3103849116 hasOpenAccess W3103849116 @default.
- W3103849116 hasPrimaryLocation W31038491161 @default.
- W3103849116 hasRelatedWork W1575073728 @default.
- W3103849116 hasRelatedWork W1969863734 @default.
- W3103849116 hasRelatedWork W1972783048 @default.
- W3103849116 hasRelatedWork W1973897068 @default.
- W3103849116 hasRelatedWork W2026898864 @default.
- W3103849116 hasRelatedWork W2083986745 @default.
- W3103849116 hasRelatedWork W2611998574 @default.
- W3103849116 hasRelatedWork W2765712053 @default.
- W3103849116 hasRelatedWork W2768520977 @default.
- W3103849116 hasRelatedWork W2845542101 @default.
- W3103849116 hasRelatedWork W2887805304 @default.
- W3103849116 hasRelatedWork W2910063209 @default.
- W3103849116 hasRelatedWork W2952625562 @default.
- W3103849116 hasRelatedWork W2953190515 @default.
- W3103849116 hasRelatedWork W2999974143 @default.
- W3103849116 hasRelatedWork W3007740465 @default.
- W3103849116 hasRelatedWork W3008367529 @default.
- W3103849116 hasRelatedWork W3123057955 @default.
- W3103849116 hasRelatedWork W91577598 @default.
- W3103849116 hasRelatedWork W2046505282 @default.
- W3103849116 isParatext "false" @default.
- W3103849116 isRetracted "false" @default.