Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038736729> ?p ?o ?g. }
- W2038736729 abstract "Data races make parallel programs hard to understand. Precise race detection that stops an execution on first occurrence of a race addresses this problem, but it comes with significant overhead. In this work, we exploit the insight that precisely detecting only write-after-write (WAW) and read-after-write (RAW) races suffices to provide cleaner semantics for racy programs. We demonstrate that stopping an execution only when these races occur ensures that synchronization-free-regions appear to be executed in isolation and that their writes appear atomic. Additionally, the undetected racy executions can be given certain deterministic guarantees with efficient mechanisms." @default.
- W2038736729 created "2016-06-24" @default.
- W2038736729 creator A5029243816 @default.
- W2038736729 creator A5080157948 @default.
- W2038736729 date "2015-06-13" @default.
- W2038736729 modified "2023-10-17" @default.
- W2038736729 title "C <scp>lean</scp>" @default.
- W2038736729 cites W2008175241 @default.
- W2038736729 cites W2023462222 @default.
- W2038736729 cites W2025819261 @default.
- W2038736729 cites W2033390732 @default.
- W2038736729 cites W2036846060 @default.
- W2038736729 cites W2070314387 @default.
- W2038736729 cites W2072419942 @default.
- W2038736729 cites W2091085450 @default.
- W2038736729 cites W2091980304 @default.
- W2038736729 cites W2100374030 @default.
- W2038736729 cites W2100505193 @default.
- W2038736729 cites W2102740706 @default.
- W2038736729 cites W2104966361 @default.
- W2038736729 cites W2105768827 @default.
- W2038736729 cites W2107529624 @default.
- W2038736729 cites W2117069557 @default.
- W2038736729 cites W2117917070 @default.
- W2038736729 cites W2122514069 @default.
- W2038736729 cites W2122532513 @default.
- W2038736729 cites W2123184511 @default.
- W2038736729 cites W2127532866 @default.
- W2038736729 cites W2134440791 @default.
- W2038736729 cites W2145021036 @default.
- W2038736729 cites W2145895191 @default.
- W2038736729 cites W2149538119 @default.
- W2038736729 cites W2152621318 @default.
- W2038736729 cites W2152885346 @default.
- W2038736729 cites W2153174073 @default.
- W2038736729 cites W2158175015 @default.
- W2038736729 cites W2160963348 @default.
- W2038736729 cites W2163163794 @default.
- W2038736729 cites W2167744164 @default.
- W2038736729 cites W3137220996 @default.
- W2038736729 cites W4235385348 @default.
- W2038736729 cites W4239813889 @default.
- W2038736729 cites W4244157805 @default.
- W2038736729 cites W4249224771 @default.
- W2038736729 cites W4251803824 @default.
- W2038736729 doi "https://doi.org/10.1145/2749469.2750395" @default.
- W2038736729 hasPublicationYear "2015" @default.
- W2038736729 type Work @default.
- W2038736729 sameAs 2038736729 @default.
- W2038736729 citedByCount "10" @default.
- W2038736729 countsByYear W20387367292015 @default.
- W2038736729 countsByYear W20387367292017 @default.
- W2038736729 countsByYear W20387367292018 @default.
- W2038736729 countsByYear W20387367292019 @default.
- W2038736729 crossrefType "proceedings-article" @default.
- W2038736729 hasAuthorship W2038736729A5029243816 @default.
- W2038736729 hasAuthorship W2038736729A5080157948 @default.
- W2038736729 hasConcept C120314980 @default.
- W2038736729 hasConcept C127162648 @default.
- W2038736729 hasConcept C165696696 @default.
- W2038736729 hasConcept C173608175 @default.
- W2038736729 hasConcept C184337299 @default.
- W2038736729 hasConcept C193702766 @default.
- W2038736729 hasConcept C199360897 @default.
- W2038736729 hasConcept C2775941552 @default.
- W2038736729 hasConcept C2778562939 @default.
- W2038736729 hasConcept C2779960059 @default.
- W2038736729 hasConcept C31258907 @default.
- W2038736729 hasConcept C38652104 @default.
- W2038736729 hasConcept C41008148 @default.
- W2038736729 hasConcept C59822182 @default.
- W2038736729 hasConcept C76509639 @default.
- W2038736729 hasConcept C86803240 @default.
- W2038736729 hasConcept C89423630 @default.
- W2038736729 hasConceptScore W2038736729C120314980 @default.
- W2038736729 hasConceptScore W2038736729C127162648 @default.
- W2038736729 hasConceptScore W2038736729C165696696 @default.
- W2038736729 hasConceptScore W2038736729C173608175 @default.
- W2038736729 hasConceptScore W2038736729C184337299 @default.
- W2038736729 hasConceptScore W2038736729C193702766 @default.
- W2038736729 hasConceptScore W2038736729C199360897 @default.
- W2038736729 hasConceptScore W2038736729C2775941552 @default.
- W2038736729 hasConceptScore W2038736729C2778562939 @default.
- W2038736729 hasConceptScore W2038736729C2779960059 @default.
- W2038736729 hasConceptScore W2038736729C31258907 @default.
- W2038736729 hasConceptScore W2038736729C38652104 @default.
- W2038736729 hasConceptScore W2038736729C41008148 @default.
- W2038736729 hasConceptScore W2038736729C59822182 @default.
- W2038736729 hasConceptScore W2038736729C76509639 @default.
- W2038736729 hasConceptScore W2038736729C86803240 @default.
- W2038736729 hasConceptScore W2038736729C89423630 @default.
- W2038736729 hasFunder F4320334593 @default.
- W2038736729 hasLocation W20387367291 @default.
- W2038736729 hasOpenAccess W2038736729 @default.
- W2038736729 hasPrimaryLocation W20387367291 @default.
- W2038736729 hasRelatedWork W1578902279 @default.
- W2038736729 hasRelatedWork W1965724121 @default.
- W2038736729 hasRelatedWork W2092071486 @default.
- W2038736729 hasRelatedWork W2105856903 @default.
- W2038736729 hasRelatedWork W2131630752 @default.