FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3153626425> ?p ?o ?g. }

• W3153626425 abstract "Writing correct concurrent code that uses atomics under the C/C++ memory model is extremely difficult. We present C11Tester, a race detector for the C/C++ memory model that can explore executions in a larger fragment of the C/C++ memory model than previous race detector tools. Relative to previous work, C11Tester's larger fragment includes behaviors that are exhibited by ARM processors. C11Tester uses a new constraint-based algorithm to implement modification order that is optimized to allow C11Tester to make decisions in terms of application-visible behaviors. We evaluate C11Tester on several benchmark applications, and compare C11Tester's performance to both tsan11rec, the state of the art tool that controls scheduling for C/C++; and tsan11, the state of the art tool that does not control scheduling." @default.
• W3153626425 created "2021-04-26" @default.
• W3153626425 creator A5016315666 @default.
• W3153626425 creator A5059259933 @default.
• W3153626425 date "2021-04-17" @default.
• W3153626425 modified "2023-10-17" @default.
• W3153626425 title "C11Tester: a race detector for C/C++ atomics" @default.
• W3153626425 cites W1719093023 @default.
• W3153626425 cites W1976695554 @default.
• W3153626425 cites W1988877888 @default.
• W3153626425 cites W2008078972 @default.
• W3153626425 cites W2014708731 @default.
• W3153626425 cites W2024875714 @default.
• W3153626425 cites W2036316394 @default.
• W3153626425 cites W2046368282 @default.
• W3153626425 cites W2054391605 @default.
• W3153626425 cites W2096343842 @default.
• W3153626425 cites W2096527448 @default.
• W3153626425 cites W2107529624 @default.
• W3153626425 cites W2120339165 @default.
• W3153626425 cites W2141710443 @default.
• W3153626425 cites W2150650310 @default.
• W3153626425 cites W2152795747 @default.
• W3153626425 cites W2153174073 @default.
• W3153626425 cites W2158124716 @default.
• W3153626425 cites W2160781056 @default.
• W3153626425 cites W2164288303 @default.
• W3153626425 cites W2167744164 @default.
• W3153626425 cites W2169870841 @default.
• W3153626425 cites W2169958633 @default.
• W3153626425 cites W2347106652 @default.
• W3153626425 cites W2410648606 @default.
• W3153626425 cites W2534587298 @default.
• W3153626425 cites W2556205142 @default.
• W3153626425 cites W2738891045 @default.
• W3153626425 cites W2778029444 @default.
• W3153626425 cites W2887814217 @default.
• W3153626425 cites W2952024620 @default.
• W3153626425 cites W2953899265 @default.
• W3153626425 cites W2980176182 @default.
• W3153626425 cites W2997323435 @default.
• W3153626425 cites W3016213579 @default.
• W3153626425 cites W3030797280 @default.
• W3153626425 cites W3101794866 @default.
• W3153626425 cites W3137220996 @default.
• W3153626425 cites W4234066571 @default.
• W3153626425 cites W4242194760 @default.
• W3153626425 cites W4251803824 @default.
• W3153626425 doi "https://doi.org/10.1145/3445814.3446711" @default.
• W3153626425 hasPublicationYear "2021" @default.
• W3153626425 type Work @default.
• W3153626425 sameAs 3153626425 @default.
• W3153626425 citedByCount "6" @default.
• W3153626425 countsByYear W31536264252022 @default.
• W3153626425 countsByYear W31536264252023 @default.
• W3153626425 crossrefType "proceedings-article" @default.
• W3153626425 hasAuthorship W3153626425A5016315666 @default.
• W3153626425 hasAuthorship W3153626425A5059259933 @default.
• W3153626425 hasBestOaLocation W31536264251 @default.
• W3153626425 hasConcept C127413603 @default.
• W3153626425 hasConcept C13280743 @default.
• W3153626425 hasConcept C169590947 @default.
• W3153626425 hasConcept C173608175 @default.
• W3153626425 hasConcept C185798385 @default.
• W3153626425 hasConcept C199360897 @default.
• W3153626425 hasConcept C205649164 @default.
• W3153626425 hasConcept C206729178 @default.
• W3153626425 hasConcept C21547014 @default.
• W3153626425 hasConcept C2776235265 @default.
• W3153626425 hasConcept C41008148 @default.
• W3153626425 hasConcept C76155785 @default.
• W3153626425 hasConcept C94915269 @default.
• W3153626425 hasConceptScore W3153626425C127413603 @default.
• W3153626425 hasConceptScore W3153626425C13280743 @default.
• W3153626425 hasConceptScore W3153626425C169590947 @default.
• W3153626425 hasConceptScore W3153626425C173608175 @default.
• W3153626425 hasConceptScore W3153626425C185798385 @default.
• W3153626425 hasConceptScore W3153626425C199360897 @default.
• W3153626425 hasConceptScore W3153626425C205649164 @default.
• W3153626425 hasConceptScore W3153626425C206729178 @default.
• W3153626425 hasConceptScore W3153626425C21547014 @default.
• W3153626425 hasConceptScore W3153626425C2776235265 @default.
• W3153626425 hasConceptScore W3153626425C41008148 @default.
• W3153626425 hasConceptScore W3153626425C76155785 @default.
• W3153626425 hasConceptScore W3153626425C94915269 @default.
• W3153626425 hasLocation W31536264251 @default.
• W3153626425 hasLocation W31536264252 @default.
• W3153626425 hasOpenAccess W3153626425 @default.
• W3153626425 hasPrimaryLocation W31536264251 @default.
• W3153626425 hasRelatedWork W1603677234 @default.
• W3153626425 hasRelatedWork W1896179566 @default.
• W3153626425 hasRelatedWork W1973480752 @default.
• W3153626425 hasRelatedWork W2217679042 @default.
• W3153626425 hasRelatedWork W2525971763 @default.
• W3153626425 hasRelatedWork W2783178962 @default.
• W3153626425 hasRelatedWork W2805502594 @default.
• W3153626425 hasRelatedWork W2984753899 @default.
• W3153626425 hasRelatedWork W3132641048 @default.
• W3153626425 hasRelatedWork W4253208712 @default.
• W3153626425 isParatext "false" @default.

• next