Matches in SemOpenAlex for { <https://semopenalex.org/work/W2972128514> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2972128514 abstract "We consider the problem of data race prediction where the program's behavior is represented by a trace. A trace is a sequence of program events recorded during the execution of the program. We employ the schedulable happens-before relation to characterize all pairs of events that are in a race for the schedule as manifested in the trace. Compared to the classic happens-before relation, the schedulable happens-before relations properly takes care of write-read dependencies and thus avoids false positives. The challenge is to efficiently identify all (schedulable) data race pairs. We present a refined linear time vector clock algorithm to predict many of the schedulable data race pairs. We introduce a quadratic time post-processing algorithm to predict all remaining data race pairs. This improves the state of the art in the area and our experiments show that our approach scales to real-world examples. Thus, the user can systematically examine and fix all program locations that are in a race for a particular schedule." @default.
- W2972128514 created "2019-09-12" @default.
- W2972128514 creator A5032117711 @default.
- W2972128514 creator A5035364564 @default.
- W2972128514 date "2019-09-07" @default.
- W2972128514 modified "2023-09-27" @default.
- W2972128514 title "Predicting All Data Race Pairs for a Specific Schedule (extended version)" @default.
- W2972128514 cites W1652742168 @default.
- W2972128514 cites W1971500760 @default.
- W2972128514 cites W2025819261 @default.
- W2972128514 cites W2061239425 @default.
- W2972128514 cites W2072419942 @default.
- W2972128514 cites W2089237839 @default.
- W2972128514 cites W2120476011 @default.
- W2972128514 cites W2121696621 @default.
- W2972128514 cites W2144249474 @default.
- W2972128514 cites W2164726441 @default.
- W2972128514 cites W2606910946 @default.
- W2972128514 cites W2799137521 @default.
- W2972128514 cites W2887512784 @default.
- W2972128514 cites W2898242299 @default.
- W2972128514 cites W3137220996 @default.
- W2972128514 cites W2116746874 @default.
- W2972128514 hasPublicationYear "2019" @default.
- W2972128514 type Work @default.
- W2972128514 sameAs 2972128514 @default.
- W2972128514 citedByCount "0" @default.
- W2972128514 crossrefType "posted-content" @default.
- W2972128514 hasAuthorship W2972128514A5032117711 @default.
- W2972128514 hasAuthorship W2972128514A5035364564 @default.
- W2972128514 hasConcept C111919701 @default.
- W2972128514 hasConcept C11413529 @default.
- W2972128514 hasConcept C119857082 @default.
- W2972128514 hasConcept C124101348 @default.
- W2972128514 hasConcept C138885662 @default.
- W2972128514 hasConcept C25343380 @default.
- W2972128514 hasConcept C2778112365 @default.
- W2972128514 hasConcept C41008148 @default.
- W2972128514 hasConcept C41895202 @default.
- W2972128514 hasConcept C54355233 @default.
- W2972128514 hasConcept C59822182 @default.
- W2972128514 hasConcept C64869954 @default.
- W2972128514 hasConcept C68387754 @default.
- W2972128514 hasConcept C75291252 @default.
- W2972128514 hasConcept C76509639 @default.
- W2972128514 hasConcept C80444323 @default.
- W2972128514 hasConcept C86803240 @default.
- W2972128514 hasConceptScore W2972128514C111919701 @default.
- W2972128514 hasConceptScore W2972128514C11413529 @default.
- W2972128514 hasConceptScore W2972128514C119857082 @default.
- W2972128514 hasConceptScore W2972128514C124101348 @default.
- W2972128514 hasConceptScore W2972128514C138885662 @default.
- W2972128514 hasConceptScore W2972128514C25343380 @default.
- W2972128514 hasConceptScore W2972128514C2778112365 @default.
- W2972128514 hasConceptScore W2972128514C41008148 @default.
- W2972128514 hasConceptScore W2972128514C41895202 @default.
- W2972128514 hasConceptScore W2972128514C54355233 @default.
- W2972128514 hasConceptScore W2972128514C59822182 @default.
- W2972128514 hasConceptScore W2972128514C64869954 @default.
- W2972128514 hasConceptScore W2972128514C68387754 @default.
- W2972128514 hasConceptScore W2972128514C75291252 @default.
- W2972128514 hasConceptScore W2972128514C76509639 @default.
- W2972128514 hasConceptScore W2972128514C80444323 @default.
- W2972128514 hasConceptScore W2972128514C86803240 @default.
- W2972128514 hasLocation W29721285141 @default.
- W2972128514 hasOpenAccess W2972128514 @default.
- W2972128514 hasPrimaryLocation W29721285141 @default.
- W2972128514 hasRelatedWork W135774226 @default.
- W2972128514 hasRelatedWork W143558673 @default.
- W2972128514 hasRelatedWork W1484903190 @default.
- W2972128514 hasRelatedWork W1691663295 @default.
- W2972128514 hasRelatedWork W2105294296 @default.
- W2972128514 hasRelatedWork W2265934547 @default.
- W2972128514 hasRelatedWork W2293470169 @default.
- W2972128514 hasRelatedWork W2342546612 @default.
- W2972128514 hasRelatedWork W2496359073 @default.
- W2972128514 hasRelatedWork W2508075332 @default.
- W2972128514 hasRelatedWork W2564251998 @default.
- W2972128514 hasRelatedWork W2807816957 @default.
- W2972128514 hasRelatedWork W2913091159 @default.
- W2972128514 hasRelatedWork W2949923404 @default.
- W2972128514 hasRelatedWork W2951731060 @default.
- W2972128514 hasRelatedWork W3037853434 @default.
- W2972128514 hasRelatedWork W3089835927 @default.
- W2972128514 hasRelatedWork W3105717510 @default.
- W2972128514 hasRelatedWork W3130750498 @default.
- W2972128514 hasRelatedWork W211198483 @default.
- W2972128514 isParatext "false" @default.
- W2972128514 isRetracted "false" @default.
- W2972128514 magId "2972128514" @default.
- W2972128514 workType "article" @default.