Matches in SemOpenAlex for { <https://semopenalex.org/work/W3084921114> ?p ?o ?g. }
- W3084921114 endingPage "314" @default.
- W3084921114 startingPage "301" @default.
- W3084921114 abstract "Detection of data races in Java programs remains a difficult problem. The best static techniques produce many false positives, and also the best dynamic techniques leave room for improvement. We present a new technique called race directed scheduling that for a given race candidate searches for an input and a schedule that lead to the race. The search iterates a combination of concolic execution and schedule improvement, and turns out to find useful inputs and schedules efficiently. We use an existing technique to produce a manageable number of race candidates. Our experiments on 23 Java programs found 72 real races that were missed by the best existing dynamic techniques. Among those 72 races, 31 races were found with schedules that have between 1 million and 108 million events, which suggests that they are rare and hard-to-find races." @default.
- W3084921114 created "2020-09-21" @default.
- W3084921114 creator A5028228841 @default.
- W3084921114 creator A5075497934 @default.
- W3084921114 date "2014-02-06" @default.
- W3084921114 modified "2023-09-26" @default.
- W3084921114 title "Race directed scheduling of concurrent programs" @default.
- W3084921114 cites W1548806133 @default.
- W3084921114 cites W1567462511 @default.
- W3084921114 cites W1572187826 @default.
- W3084921114 cites W1972544179 @default.
- W3084921114 cites W1994305220 @default.
- W3084921114 cites W2002179840 @default.
- W3084921114 cites W2003215037 @default.
- W3084921114 cites W2011974310 @default.
- W3084921114 cites W2040060046 @default.
- W3084921114 cites W2054739713 @default.
- W3084921114 cites W2078197548 @default.
- W3084921114 cites W2088139180 @default.
- W3084921114 cites W2097077279 @default.
- W3084921114 cites W2100866821 @default.
- W3084921114 cites W2103201337 @default.
- W3084921114 cites W2109875364 @default.
- W3084921114 cites W2116276920 @default.
- W3084921114 cites W2121696621 @default.
- W3084921114 cites W2127989655 @default.
- W3084921114 cites W2129683568 @default.
- W3084921114 cites W2132897303 @default.
- W3084921114 cites W2135395375 @default.
- W3084921114 cites W2147506153 @default.
- W3084921114 cites W2150602145 @default.
- W3084921114 cites W2154557525 @default.
- W3084921114 cites W2156138494 @default.
- W3084921114 cites W2156428492 @default.
- W3084921114 cites W2158124716 @default.
- W3084921114 cites W2163499368 @default.
- W3084921114 cites W2166091242 @default.
- W3084921114 cites W2166615267 @default.
- W3084921114 cites W2167363133 @default.
- W3084921114 cites W2167744164 @default.
- W3084921114 cites W2296669295 @default.
- W3084921114 cites W4236306709 @default.
- W3084921114 cites W4237492309 @default.
- W3084921114 cites W4248655060 @default.
- W3084921114 cites W4249000722 @default.
- W3084921114 cites W4251803824 @default.
- W3084921114 cites W4254906220 @default.
- W3084921114 cites W4300810260 @default.
- W3084921114 doi "https://doi.org/10.1145/2692916.2555263" @default.
- W3084921114 hasPublicationYear "2014" @default.
- W3084921114 type Work @default.
- W3084921114 sameAs 3084921114 @default.
- W3084921114 citedByCount "7" @default.
- W3084921114 countsByYear W30849211142017 @default.
- W3084921114 countsByYear W30849211142018 @default.
- W3084921114 countsByYear W30849211142019 @default.
- W3084921114 countsByYear W30849211142020 @default.
- W3084921114 countsByYear W30849211142021 @default.
- W3084921114 countsByYear W30849211142022 @default.
- W3084921114 crossrefType "journal-article" @default.
- W3084921114 hasAuthorship W3084921114A5028228841 @default.
- W3084921114 hasAuthorship W3084921114A5075497934 @default.
- W3084921114 hasBestOaLocation W30849211142 @default.
- W3084921114 hasConcept C111919701 @default.
- W3084921114 hasConcept C119857082 @default.
- W3084921114 hasConcept C126255220 @default.
- W3084921114 hasConcept C199360897 @default.
- W3084921114 hasConcept C206729178 @default.
- W3084921114 hasConcept C33923547 @default.
- W3084921114 hasConcept C41008148 @default.
- W3084921114 hasConcept C548217200 @default.
- W3084921114 hasConcept C59822182 @default.
- W3084921114 hasConcept C64869954 @default.
- W3084921114 hasConcept C68387754 @default.
- W3084921114 hasConcept C76509639 @default.
- W3084921114 hasConcept C86803240 @default.
- W3084921114 hasConceptScore W3084921114C111919701 @default.
- W3084921114 hasConceptScore W3084921114C119857082 @default.
- W3084921114 hasConceptScore W3084921114C126255220 @default.
- W3084921114 hasConceptScore W3084921114C199360897 @default.
- W3084921114 hasConceptScore W3084921114C206729178 @default.
- W3084921114 hasConceptScore W3084921114C33923547 @default.
- W3084921114 hasConceptScore W3084921114C41008148 @default.
- W3084921114 hasConceptScore W3084921114C548217200 @default.
- W3084921114 hasConceptScore W3084921114C59822182 @default.
- W3084921114 hasConceptScore W3084921114C64869954 @default.
- W3084921114 hasConceptScore W3084921114C68387754 @default.
- W3084921114 hasConceptScore W3084921114C76509639 @default.
- W3084921114 hasConceptScore W3084921114C86803240 @default.
- W3084921114 hasIssue "8" @default.
- W3084921114 hasLocation W30849211141 @default.
- W3084921114 hasLocation W30849211142 @default.
- W3084921114 hasOpenAccess W3084921114 @default.
- W3084921114 hasPrimaryLocation W30849211141 @default.
- W3084921114 hasRelatedWork W1502256359 @default.
- W3084921114 hasRelatedWork W1538236101 @default.
- W3084921114 hasRelatedWork W1558040955 @default.
- W3084921114 hasRelatedWork W1571558219 @default.