FRINK Linked Data Fragments server

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

• W2117564107 endingPage "33" @default.
• W2117564107 startingPage "1" @default.
• W2117564107 abstract "Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and nondeterministic interleaving space. In reality, without the resources to thoroughly check the interleaving space, critical concurrency bugs can slip into production versions and cause failures in the field. Approaches to making the best use of the limited resources and exposing severe concurrency bugs before software release would be desirable. Unlike previous work that focuses on bugs caused by specific interleavings (e.g., races and atomicity violations), this article targets concurrency bugs that result in one type of severe effect: program crashes. Our study of the error-propagation process of real-world concurrency bugs reveals a common pattern (50% in our nondeadlock concurrency bug set) that is highly correlated with program crashes. We call this pattern concurrency-memory bugs: buggy interleavings directly cause memory bugs (NULL-pointer-dereferences, dangling-pointers, buffer-overflows, uninitialized-reads) on shared memory objects. Guided by this study, we built ConMem to monitor program execution, analyze memory accesses and synchronizations, and predictively detect these common and severe concurrency-memory bugs. We also built a validator,ConMem-v, to automatically prune false positives by enforcing potential bug-triggering interleavings. We evaluated ConMem using 7 open-source programs with 10 real-world concurrency bugs. ConMem detects more tested bugs (9 out of 10 bugs) than a lock-set-based race detector and an unserializable-interleaving detector, which detect 4 and 6 bugs, respectively, with a false-positive rate about one tenth of the compared tools. ConMem-v further prunes out all the false positives. ConMem has reasonable overhead suitable for development usage." @default.
• W2117564107 created "2016-06-24" @default.
• W2117564107 creator A5002505238 @default.
• W2117564107 creator A5055757306 @default.
• W2117564107 creator A5066155126 @default.
• W2117564107 creator A5066842100 @default.
• W2117564107 creator A5076699095 @default.
• W2117564107 date "2013-03-01" @default.
• W2117564107 modified "2023-10-18" @default.
• W2117564107 title "ConMem" @default.
• W2117564107 cites W1566086941 @default.
• W2117564107 cites W1568194905 @default.
• W2117564107 cites W1605226475 @default.
• W2117564107 cites W1972544179 @default.
• W2117564107 cites W2016314068 @default.
• W2117564107 cites W2049381173 @default.
• W2117564107 cites W2073961002 @default.
• W2117564107 cites W2082766667 @default.
• W2117564107 cites W2084719450 @default.
• W2117564107 cites W2088270410 @default.
• W2117564107 cites W2101161997 @default.
• W2117564107 cites W2109033563 @default.
• W2117564107 cites W2115015193 @default.
• W2117564107 cites W2118835133 @default.
• W2117564107 cites W2120027538 @default.
• W2117564107 cites W2122532513 @default.
• W2117564107 cites W2127989655 @default.
• W2117564107 cites W2128453996 @default.
• W2117564107 cites W2130473288 @default.
• W2117564107 cites W2134440791 @default.
• W2117564107 cites W2135023759 @default.
• W2117564107 cites W2135395375 @default.
• W2117564107 cites W2137270184 @default.
• W2117564107 cites W2137422315 @default.
• W2117564107 cites W2138264727 @default.
• W2117564107 cites W2143078813 @default.
• W2117564107 cites W2145021036 @default.
• W2117564107 cites W2152423679 @default.
• W2117564107 cites W2153229512 @default.
• W2117564107 cites W2153723363 @default.
• W2117564107 cites W2155962559 @default.
• W2117564107 cites W2156633971 @default.
• W2117564107 cites W2156858199 @default.
• W2117564107 cites W2156915601 @default.
• W2117564107 cites W2159856414 @default.
• W2117564107 cites W2164538023 @default.
• W2117564107 cites W2167744164 @default.
• W2117564107 cites W2169870841 @default.
• W2117564107 cites W2171008784 @default.
• W2117564107 cites W2852225 @default.
• W2117564107 cites W3009177928 @default.
• W2117564107 cites W3137220996 @default.
• W2117564107 cites W3142284768 @default.
• W2117564107 cites W4233347627 @default.
• W2117564107 cites W4239813889 @default.
• W2117564107 cites W4243324871 @default.
• W2117564107 cites W4243683024 @default.
• W2117564107 cites W4248655060 @default.
• W2117564107 cites W4249224771 @default.
• W2117564107 doi "https://doi.org/10.1145/2430545.2430546" @default.
• W2117564107 hasPublicationYear "2013" @default.
• W2117564107 type Work @default.
• W2117564107 sameAs 2117564107 @default.
• W2117564107 citedByCount "11" @default.
• W2117564107 countsByYear W21175641072013 @default.
• W2117564107 countsByYear W21175641072014 @default.
• W2117564107 countsByYear W21175641072016 @default.
• W2117564107 countsByYear W21175641072017 @default.
• W2117564107 countsByYear W21175641072021 @default.
• W2117564107 countsByYear W21175641072022 @default.
• W2117564107 crossrefType "journal-article" @default.
• W2117564107 hasAuthorship W2117564107A5002505238 @default.
• W2117564107 hasAuthorship W2117564107A5055757306 @default.
• W2117564107 hasAuthorship W2117564107A5066155126 @default.
• W2117564107 hasAuthorship W2117564107A5066842100 @default.
• W2117564107 hasAuthorship W2117564107A5076699095 @default.
• W2117564107 hasConcept C1009929 @default.
• W2117564107 hasConcept C111919701 @default.
• W2117564107 hasConcept C136085584 @default.
• W2117564107 hasConcept C150202949 @default.
• W2117564107 hasConcept C154945302 @default.
• W2117564107 hasConcept C156731835 @default.
• W2117564107 hasConcept C168065819 @default.
• W2117564107 hasConcept C176649486 @default.
• W2117564107 hasConcept C188045909 @default.
• W2117564107 hasConcept C193702766 @default.
• W2117564107 hasConcept C199360897 @default.
• W2117564107 hasConcept C2777904410 @default.
• W2117564107 hasConcept C28034677 @default.
• W2117564107 hasConcept C41008148 @default.
• W2117564107 hasConcept C75949130 @default.
• W2117564107 hasConceptScore W2117564107C1009929 @default.
• W2117564107 hasConceptScore W2117564107C111919701 @default.
• W2117564107 hasConceptScore W2117564107C136085584 @default.
• W2117564107 hasConceptScore W2117564107C150202949 @default.
• W2117564107 hasConceptScore W2117564107C154945302 @default.
• W2117564107 hasConceptScore W2117564107C156731835 @default.
• W2117564107 hasConceptScore W2117564107C168065819 @default.

• next