Matches in SemOpenAlex for { <https://semopenalex.org/work/W2043201977> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2043201977 abstract "Even the careful GPU programmer can inadvertently introduce data races while writing and optimizing code. Currently available GPU race checking methods fall short either in terms of their formal guarantees, ease of use, or practicality. Existing symbolic methods: (1) do not fully support existing CUDA kernels, (2) may require user-specified assertions or invariants, (3) often require users to guess which inputs may be safely made concrete, (4) tend to explode in complexity when the number of threads is increased, and (5) explode in the face of thread-ID based decisions, especially in a loop. We present SESA, a new tool combining Symbolic Execution and Static Analysis to analyze C++ CUDA programs that overcomes all these limitations. SESA also scales well to handle non-trivial benchmarks such as Parboil and Lonestar, and is the only tool of its class that handles such practical examples. This paper presents SESA's methodological innovations and practical results." @default.
- W2043201977 created "2016-06-24" @default.
- W2043201977 creator A5027334799 @default.
- W2043201977 creator A5069846379 @default.
- W2043201977 creator A5071458554 @default.
- W2043201977 date "2014-11-01" @default.
- W2043201977 modified "2023-10-01" @default.
- W2043201977 title "Practical Symbolic Race Checking of GPU Programs" @default.
- W2043201977 cites W1497028280 @default.
- W2043201977 cites W1585877844 @default.
- W2043201977 cites W1971463841 @default.
- W2043201977 cites W1979693894 @default.
- W2043201977 cites W1984292053 @default.
- W2043201977 cites W2002479196 @default.
- W2043201977 cites W2076960126 @default.
- W2043201977 cites W2086167999 @default.
- W2043201977 cites W2117444998 @default.
- W2043201977 cites W2121717408 @default.
- W2043201977 cites W2167995056 @default.
- W2043201977 cites W2168272209 @default.
- W2043201977 cites W3137220996 @default.
- W2043201977 cites W4241603182 @default.
- W2043201977 cites W4244624509 @default.
- W2043201977 doi "https://doi.org/10.1109/sc.2014.20" @default.
- W2043201977 hasPublicationYear "2014" @default.
- W2043201977 type Work @default.
- W2043201977 sameAs 2043201977 @default.
- W2043201977 citedByCount "27" @default.
- W2043201977 countsByYear W20432019772014 @default.
- W2043201977 countsByYear W20432019772015 @default.
- W2043201977 countsByYear W20432019772016 @default.
- W2043201977 countsByYear W20432019772017 @default.
- W2043201977 countsByYear W20432019772018 @default.
- W2043201977 countsByYear W20432019772019 @default.
- W2043201977 countsByYear W20432019772020 @default.
- W2043201977 countsByYear W20432019772021 @default.
- W2043201977 countsByYear W20432019772022 @default.
- W2043201977 countsByYear W20432019772023 @default.
- W2043201977 crossrefType "proceedings-article" @default.
- W2043201977 hasAuthorship W2043201977A5027334799 @default.
- W2043201977 hasAuthorship W2043201977A5069846379 @default.
- W2043201977 hasAuthorship W2043201977A5071458554 @default.
- W2043201977 hasConcept C138101251 @default.
- W2043201977 hasConcept C154945302 @default.
- W2043201977 hasConcept C173608175 @default.
- W2043201977 hasConcept C177264268 @default.
- W2043201977 hasConcept C199360897 @default.
- W2043201977 hasConcept C2776760102 @default.
- W2043201977 hasConcept C2777212361 @default.
- W2043201977 hasConcept C2777904410 @default.
- W2043201977 hasConcept C2778119891 @default.
- W2043201977 hasConcept C2778514511 @default.
- W2043201977 hasConcept C2779639559 @default.
- W2043201977 hasConcept C41008148 @default.
- W2043201977 hasConceptScore W2043201977C138101251 @default.
- W2043201977 hasConceptScore W2043201977C154945302 @default.
- W2043201977 hasConceptScore W2043201977C173608175 @default.
- W2043201977 hasConceptScore W2043201977C177264268 @default.
- W2043201977 hasConceptScore W2043201977C199360897 @default.
- W2043201977 hasConceptScore W2043201977C2776760102 @default.
- W2043201977 hasConceptScore W2043201977C2777212361 @default.
- W2043201977 hasConceptScore W2043201977C2777904410 @default.
- W2043201977 hasConceptScore W2043201977C2778119891 @default.
- W2043201977 hasConceptScore W2043201977C2778514511 @default.
- W2043201977 hasConceptScore W2043201977C2779639559 @default.
- W2043201977 hasConceptScore W2043201977C41008148 @default.
- W2043201977 hasLocation W20432019771 @default.
- W2043201977 hasOpenAccess W2043201977 @default.
- W2043201977 hasPrimaryLocation W20432019771 @default.
- W2043201977 hasRelatedWork W1998586093 @default.
- W2043201977 hasRelatedWork W2011840458 @default.
- W2043201977 hasRelatedWork W2129200189 @default.
- W2043201977 hasRelatedWork W2161462353 @default.
- W2043201977 hasRelatedWork W2170268965 @default.
- W2043201977 hasRelatedWork W2999356192 @default.
- W2043201977 hasRelatedWork W3137189469 @default.
- W2043201977 hasRelatedWork W3160136729 @default.
- W2043201977 hasRelatedWork W4291395144 @default.
- W2043201977 hasRelatedWork W1664545926 @default.
- W2043201977 isParatext "false" @default.
- W2043201977 isRetracted "false" @default.
- W2043201977 magId "2043201977" @default.
- W2043201977 workType "article" @default.