FRINK Linked Data Fragments server

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

• W2103078876 abstract "Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, determining whether reported bugs are in fact real, and understanding how these bugs lead to incorrect behavior, remains a labor-intensive process. This paper proposes a novel dynamic analysis that automatically produces the causal path of a concurrent failure leading from the root cause to the failure. Given two schedules, one inducing the failure and the other not, our technique collects traces of the two executions, and compares them to identify salient differences. The causal relation between the differences is disclosed by leveraging a novel slicing algorithm called dual slicing that slices both executions alternatively and iteratively, producing a slice containing trace differences from both runs. Our experiments show that dual slices tend to be very small, often an order of magnitude or more smaller than the corresponding dynamic slices; more importantly, they enable precise analysis of real concurrency bugs for large programs, with reasonable overhead." @default.
• W2103078876 created "2016-06-24" @default.
• W2103078876 creator A5027961969 @default.
• W2103078876 creator A5034957233 @default.
• W2103078876 creator A5043431516 @default.
• W2103078876 creator A5082195354 @default.
• W2103078876 date "2010-07-12" @default.
• W2103078876 modified "2023-10-14" @default.
• W2103078876 title "Analyzing concurrency bugs using dual slicing" @default.
• W2103078876 cites W1972544179 @default.
• W2103078876 cites W2059943739 @default.
• W2103078876 cites W2082766667 @default.
• W2103078876 cites W2084719450 @default.
• W2103078876 cites W2100894869 @default.
• W2103078876 cites W2101161997 @default.
• W2103078876 cites W2108112890 @default.
• W2103078876 cites W2110066339 @default.
• W2103078876 cites W2119494620 @default.
• W2103078876 cites W2121081915 @default.
• W2103078876 cites W2127989655 @default.
• W2103078876 cites W2134164054 @default.
• W2103078876 cites W2135395375 @default.
• W2103078876 cites W2136305343 @default.
• W2103078876 cites W2154266022 @default.
• W2103078876 cites W2159856414 @default.
• W2103078876 cites W2164538023 @default.
• W2103078876 cites W2169565104 @default.
• W2103078876 cites W2171076136 @default.
• W2103078876 cites W2295857493 @default.
• W2103078876 cites W4243324871 @default.
• W2103078876 cites W4247966332 @default.
• W2103078876 cites W4248655060 @default.
• W2103078876 doi "https://doi.org/10.1145/1831708.1831740" @default.
• W2103078876 hasPublicationYear "2010" @default.
• W2103078876 type Work @default.
• W2103078876 sameAs 2103078876 @default.
• W2103078876 citedByCount "42" @default.
• W2103078876 countsByYear W21030788762012 @default.
• W2103078876 countsByYear W21030788762013 @default.
• W2103078876 countsByYear W21030788762014 @default.
• W2103078876 countsByYear W21030788762015 @default.
• W2103078876 countsByYear W21030788762016 @default.
• W2103078876 countsByYear W21030788762017 @default.
• W2103078876 countsByYear W21030788762018 @default.
• W2103078876 countsByYear W21030788762019 @default.
• W2103078876 countsByYear W21030788762020 @default.
• W2103078876 countsByYear W21030788762021 @default.
• W2103078876 countsByYear W21030788762023 @default.
• W2103078876 crossrefType "proceedings-article" @default.
• W2103078876 hasAuthorship W2103078876A5027961969 @default.
• W2103078876 hasAuthorship W2103078876A5034957233 @default.
• W2103078876 hasAuthorship W2103078876A5043431516 @default.
• W2103078876 hasAuthorship W2103078876A5082195354 @default.
• W2103078876 hasBestOaLocation W21030788762 @default.
• W2103078876 hasConcept C1009929 @default.
• W2103078876 hasConcept C120314980 @default.
• W2103078876 hasConcept C124952713 @default.
• W2103078876 hasConcept C136764020 @default.
• W2103078876 hasConcept C138885662 @default.
• W2103078876 hasConcept C142362112 @default.
• W2103078876 hasConcept C168065819 @default.
• W2103078876 hasConcept C173608175 @default.
• W2103078876 hasConcept C188045909 @default.
• W2103078876 hasConcept C193702766 @default.
• W2103078876 hasConcept C199360897 @default.
• W2103078876 hasConcept C2776190703 @default.
• W2103078876 hasConcept C2777904410 @default.
• W2103078876 hasConcept C2779960059 @default.
• W2103078876 hasConcept C2780980858 @default.
• W2103078876 hasConcept C41008148 @default.
• W2103078876 hasConcept C41895202 @default.
• W2103078876 hasConcept C75291252 @default.
• W2103078876 hasConcept C75949130 @default.
• W2103078876 hasConcept C91071405 @default.
• W2103078876 hasConcept C98045186 @default.
• W2103078876 hasConceptScore W2103078876C1009929 @default.
• W2103078876 hasConceptScore W2103078876C120314980 @default.
• W2103078876 hasConceptScore W2103078876C124952713 @default.
• W2103078876 hasConceptScore W2103078876C136764020 @default.
• W2103078876 hasConceptScore W2103078876C138885662 @default.
• W2103078876 hasConceptScore W2103078876C142362112 @default.
• W2103078876 hasConceptScore W2103078876C168065819 @default.
• W2103078876 hasConceptScore W2103078876C173608175 @default.
• W2103078876 hasConceptScore W2103078876C188045909 @default.
• W2103078876 hasConceptScore W2103078876C193702766 @default.
• W2103078876 hasConceptScore W2103078876C199360897 @default.
• W2103078876 hasConceptScore W2103078876C2776190703 @default.
• W2103078876 hasConceptScore W2103078876C2777904410 @default.
• W2103078876 hasConceptScore W2103078876C2779960059 @default.
• W2103078876 hasConceptScore W2103078876C2780980858 @default.
• W2103078876 hasConceptScore W2103078876C41008148 @default.
• W2103078876 hasConceptScore W2103078876C41895202 @default.
• W2103078876 hasConceptScore W2103078876C75291252 @default.
• W2103078876 hasConceptScore W2103078876C75949130 @default.
• W2103078876 hasConceptScore W2103078876C91071405 @default.
• W2103078876 hasConceptScore W2103078876C98045186 @default.
• W2103078876 hasLocation W21030788761 @default.
• W2103078876 hasLocation W21030788762 @default.
• W2103078876 hasLocation W21030788763 @default.
• W2103078876 hasOpenAccess W2103078876 @default.

• next