FRINK Linked Data Fragments server

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

• W1497336670 endingPage "176" @default.
• W1497336670 startingPage "161" @default.
• W1497336670 abstract "Recent research has proposed several analyses to mitigate the fact that finding concurrency bugs in multi-threaded software is notoriously hard. This work proposes a new analysis based on a correctness criterion called “atomic-set serializability”, which incorporates both race conditions and traditional atomicity/serializability. We present a novel analysis based on conflict cycle detection that is guaranteed to find all violations in the intercepted execution trace. A set of heuristics automatically determines all annotations required for atomic-set serializability. We implemented the analysis and evaluated it on a suite consisting of real programs and benchmarks. The evaluation demonstrates the usefulness of our heuristics by finding a number of known (as well as new) violations with competitive overhead and a very low false positive rate." @default.
• W1497336670 created "2016-06-24" @default.
• W1497336670 creator A5012855077 @default.
• W1497336670 creator A5043431516 @default.
• W1497336670 creator A5087604448 @default.
• W1497336670 date "2012-01-01" @default.
• W1497336670 modified "2023-09-23" @default.
• W1497336670 title "Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs" @default.
• W1497336670 cites W1510845095 @default.
• W1497336670 cites W1513315626 @default.
• W1497336670 cites W1532324212 @default.
• W1497336670 cites W1575599371 @default.
• W1497336670 cites W1585867330 @default.
• W1497336670 cites W1965462925 @default.
• W1497336670 cites W1970637218 @default.
• W1497336670 cites W1972544179 @default.
• W1497336670 cites W1993505169 @default.
• W1497336670 cites W2002179840 @default.
• W1497336670 cites W2061249226 @default.
• W1497336670 cites W2072062729 @default.
• W1497336670 cites W2082766667 @default.
• W1497336670 cites W2109033563 @default.
• W1497336670 cites W2111900492 @default.
• W1497336670 cites W2116680978 @default.
• W1497336670 cites W2120027538 @default.
• W1497336670 cites W2122206368 @default.
• W1497336670 cites W2125533170 @default.
• W1497336670 cites W2129045064 @default.
• W1497336670 cites W2134164054 @default.
• W1497336670 cites W2135023759 @default.
• W1497336670 cites W2137270184 @default.
• W1497336670 cites W2137422315 @default.
• W1497336670 cites W2140147547 @default.
• W1497336670 cites W2151689991 @default.
• W1497336670 cites W2153229512 @default.
• W1497336670 cites W2157888439 @default.
• W1497336670 cites W2158175015 @default.
• W1497336670 cites W2159856414 @default.
• W1497336670 cites W2165422215 @default.
• W1497336670 cites W2171076136 @default.
• W1497336670 cites W2172035080 @default.
• W1497336670 cites W4211221689 @default.
• W1497336670 cites W4213268063 @default.
• W1497336670 cites W4243324871 @default.
• W1497336670 doi "https://doi.org/10.1007/978-3-642-29860-8_13" @default.
• W1497336670 hasPublicationYear "2012" @default.
• W1497336670 type Work @default.
• W1497336670 sameAs 1497336670 @default.
• W1497336670 citedByCount "12" @default.
• W1497336670 countsByYear W14973366702012 @default.
• W1497336670 countsByYear W14973366702013 @default.
• W1497336670 countsByYear W14973366702014 @default.
• W1497336670 countsByYear W14973366702015 @default.
• W1497336670 countsByYear W14973366702016 @default.
• W1497336670 countsByYear W14973366702018 @default.
• W1497336670 countsByYear W14973366702020 @default.
• W1497336670 crossrefType "book-chapter" @default.
• W1497336670 hasAuthorship W1497336670A5012855077 @default.
• W1497336670 hasAuthorship W1497336670A5043431516 @default.
• W1497336670 hasAuthorship W1497336670A5087604448 @default.
• W1497336670 hasConcept C111919701 @default.
• W1497336670 hasConcept C120314980 @default.
• W1497336670 hasConcept C127705205 @default.
• W1497336670 hasConcept C131346163 @default.
• W1497336670 hasConcept C177264268 @default.
• W1497336670 hasConcept C188045909 @default.
• W1497336670 hasConcept C191087605 @default.
• W1497336670 hasConcept C191558696 @default.
• W1497336670 hasConcept C193702766 @default.
• W1497336670 hasConcept C199360897 @default.
• W1497336670 hasConcept C25185021 @default.
• W1497336670 hasConcept C41008148 @default.
• W1497336670 hasConcept C55439883 @default.
• W1497336670 hasConcept C72108876 @default.
• W1497336670 hasConcept C75949130 @default.
• W1497336670 hasConcept C84511453 @default.
• W1497336670 hasConceptScore W1497336670C111919701 @default.
• W1497336670 hasConceptScore W1497336670C120314980 @default.
• W1497336670 hasConceptScore W1497336670C127705205 @default.
• W1497336670 hasConceptScore W1497336670C131346163 @default.
• W1497336670 hasConceptScore W1497336670C177264268 @default.
• W1497336670 hasConceptScore W1497336670C188045909 @default.
• W1497336670 hasConceptScore W1497336670C191087605 @default.
• W1497336670 hasConceptScore W1497336670C191558696 @default.
• W1497336670 hasConceptScore W1497336670C193702766 @default.
• W1497336670 hasConceptScore W1497336670C199360897 @default.
• W1497336670 hasConceptScore W1497336670C25185021 @default.
• W1497336670 hasConceptScore W1497336670C41008148 @default.
• W1497336670 hasConceptScore W1497336670C55439883 @default.
• W1497336670 hasConceptScore W1497336670C72108876 @default.
• W1497336670 hasConceptScore W1497336670C75949130 @default.
• W1497336670 hasConceptScore W1497336670C84511453 @default.
• W1497336670 hasLocation W14973366701 @default.
• W1497336670 hasOpenAccess W1497336670 @default.
• W1497336670 hasPrimaryLocation W14973366701 @default.
• W1497336670 hasRelatedWork W1497336670 @default.
• W1497336670 hasRelatedWork W2024582484 @default.
• W1497336670 hasRelatedWork W2037438990 @default.

• next