Matches in SemOpenAlex for { <https://semopenalex.org/work/W3134612852> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3134612852 abstract "We investigate the problem of runtime analysis of C11 programs under Multi-Copy-Atomic semantics (MCA). Under MCA, one can analyze program outcomes solely through interleaving and reordering of thread events. As a result, obtaining intuitive explanations of program outcomes becomes straightforward. Newer versions of ARM (ARMv8 and later), Alpha, and Intel's x-86 support MCA. Our tests reveal that state-of-the-art dynamic verification techniques that analyze program executions under the C11 memory model generate safety property violations that can be interpreted as false alarms under MCA semantics. Sorting the true from false violations puts an undesirable burden on the user. In this work, we provide a dynamic verification technique (MoCA) to analyze C11 program executions which are permitted under the MCA model. We design a happens-before relation and introduce coherence rules to capture precisely those C11 program executions which are allowed under the MCA model. MoCA's exploration of the state-space is based on the state-of-the-art dynamic verification algorithm, source-DPOR. Our experiments validate that MoCA captures all coherent C11 program executions, and is precise for the MCA model." @default.
- W3134612852 created "2021-03-15" @default.
- W3134612852 creator A5014202235 @default.
- W3134612852 creator A5057292652 @default.
- W3134612852 creator A5071867977 @default.
- W3134612852 date "2021-03-02" @default.
- W3134612852 modified "2023-09-27" @default.
- W3134612852 title "Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics" @default.
- W3134612852 cites W1007863974 @default.
- W3134612852 cites W1522334395 @default.
- W3134612852 cites W1719093023 @default.
- W3134612852 cites W186123808 @default.
- W3134612852 cites W1893845610 @default.
- W3134612852 cites W1983206712 @default.
- W3134612852 cites W2008078972 @default.
- W3134612852 cites W2024875714 @default.
- W3134612852 cites W2033651910 @default.
- W3134612852 cites W2046368282 @default.
- W3134612852 cites W2115969864 @default.
- W3134612852 cites W2138074470 @default.
- W3134612852 cites W2154445728 @default.
- W3134612852 cites W2169870841 @default.
- W3134612852 cites W2353662026 @default.
- W3134612852 cites W2547963919 @default.
- W3134612852 cites W2556205142 @default.
- W3134612852 cites W2734336505 @default.
- W3134612852 cites W2740847919 @default.
- W3134612852 cites W2769194423 @default.
- W3134612852 cites W2778029444 @default.
- W3134612852 cites W2786247985 @default.
- W3134612852 cites W2808769940 @default.
- W3134612852 cites W2887814217 @default.
- W3134612852 cites W2897215198 @default.
- W3134612852 cites W2898988288 @default.
- W3134612852 cites W2953899265 @default.
- W3134612852 cites W2955045321 @default.
- W3134612852 cites W2964156448 @default.
- W3134612852 cites W3011074696 @default.
- W3134612852 cites W3122287721 @default.
- W3134612852 cites W3124453239 @default.
- W3134612852 hasPublicationYear "2021" @default.
- W3134612852 type Work @default.
- W3134612852 sameAs 3134612852 @default.
- W3134612852 citedByCount "0" @default.
- W3134612852 crossrefType "posted-content" @default.
- W3134612852 hasAuthorship W3134612852A5014202235 @default.
- W3134612852 hasAuthorship W3134612852A5057292652 @default.
- W3134612852 hasAuthorship W3134612852A5071867977 @default.
- W3134612852 hasConcept C110251889 @default.
- W3134612852 hasConcept C111919701 @default.
- W3134612852 hasConcept C138101251 @default.
- W3134612852 hasConcept C173608175 @default.
- W3134612852 hasConcept C193702766 @default.
- W3134612852 hasConcept C199360897 @default.
- W3134612852 hasConcept C28034677 @default.
- W3134612852 hasConcept C41008148 @default.
- W3134612852 hasConcept C48103436 @default.
- W3134612852 hasConcept C97686452 @default.
- W3134612852 hasConceptScore W3134612852C110251889 @default.
- W3134612852 hasConceptScore W3134612852C111919701 @default.
- W3134612852 hasConceptScore W3134612852C138101251 @default.
- W3134612852 hasConceptScore W3134612852C173608175 @default.
- W3134612852 hasConceptScore W3134612852C193702766 @default.
- W3134612852 hasConceptScore W3134612852C199360897 @default.
- W3134612852 hasConceptScore W3134612852C28034677 @default.
- W3134612852 hasConceptScore W3134612852C41008148 @default.
- W3134612852 hasConceptScore W3134612852C48103436 @default.
- W3134612852 hasConceptScore W3134612852C97686452 @default.
- W3134612852 hasLocation W31346128521 @default.
- W3134612852 hasOpenAccess W3134612852 @default.
- W3134612852 hasPrimaryLocation W31346128521 @default.
- W3134612852 hasRelatedWork W1481985818 @default.
- W3134612852 hasRelatedWork W1499072146 @default.
- W3134612852 hasRelatedWork W1534277908 @default.
- W3134612852 hasRelatedWork W1539680478 @default.
- W3134612852 hasRelatedWork W1594825470 @default.
- W3134612852 hasRelatedWork W1719093023 @default.
- W3134612852 hasRelatedWork W1996009176 @default.
- W3134612852 hasRelatedWork W2011212908 @default.
- W3134612852 hasRelatedWork W2036316394 @default.
- W3134612852 hasRelatedWork W2105980774 @default.
- W3134612852 hasRelatedWork W2110279000 @default.
- W3134612852 hasRelatedWork W2131123849 @default.
- W3134612852 hasRelatedWork W2140021461 @default.
- W3134612852 hasRelatedWork W2556205142 @default.
- W3134612852 hasRelatedWork W2596184660 @default.
- W3134612852 hasRelatedWork W2976188080 @default.
- W3134612852 hasRelatedWork W3182521459 @default.
- W3134612852 hasRelatedWork W3204908115 @default.
- W3134612852 hasRelatedWork W54937115 @default.
- W3134612852 hasRelatedWork W90337718 @default.
- W3134612852 isParatext "false" @default.
- W3134612852 isRetracted "false" @default.
- W3134612852 magId "3134612852" @default.
- W3134612852 workType "article" @default.