FRINK Linked Data Fragments server

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

• W4246334639 endingPage "198" @default.
• W4246334639 startingPage "185" @default.
• W4246334639 abstract "Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like finding a needle in a haystack: 76%-90% of the true data races reported by state-of-the-art race detectors turn out to be harmless [45]. We present Portend, a tool that not only detects races but also automatically classifies them based on their potential consequences: Could they lead to crashes or hangs? Could their effects be visible outside the program? Are they harmless? Our proposed technique achieves high accuracy by efficiently analyzing multiple paths and multiple thread schedules in combination, and by performing symbolic comparison between program outputs. We ran Portend on 7 real-world applications: it detected 93 true data races and correctly classified 92 of them, with no human effort. 6 of them are harmful races. Portend's classification accuracy is up to 88% higher than that of existing tools, and it produces easy-to-understand evidence of the consequences of harmful races, thus both proving their harmfulness and making debugging easier. We envision Portend being used for testing and debugging, as well as for automatically triaging bug reports." @default.
• W4246334639 created "2022-05-12" @default.
• W4246334639 creator A5023666971 @default.
• W4246334639 creator A5028907149 @default.
• W4246334639 creator A5050964144 @default.
• W4246334639 date "2012-03-03" @default.
• W4246334639 modified "2023-10-16" @default.
• W4246334639 title "Data races vs. data race bugs" @default.
• W4246334639 cites W1972544179 @default.
• W4246334639 cites W1978905120 @default.
• W4246334639 cites W1996009176 @default.
• W4246334639 cites W2009489720 @default.
• W4246334639 cites W2025819261 @default.
• W4246334639 cites W2029601347 @default.
• W4246334639 cites W2033472898 @default.
• W4246334639 cites W2037068142 @default.
• W4246334639 cites W2054739713 @default.
• W4246334639 cites W2061504544 @default.
• W4246334639 cites W2078197548 @default.
• W4246334639 cites W2091085450 @default.
• W4246334639 cites W2095551048 @default.
• W4246334639 cites W2096527448 @default.
• W4246334639 cites W2097576663 @default.
• W4246334639 cites W2100505193 @default.
• W4246334639 cites W2105980774 @default.
• W4246334639 cites W2111378743 @default.
• W4246334639 cites W2123106754 @default.
• W4246334639 cites W2127532866 @default.
• W4246334639 cites W2127989655 @default.
• W4246334639 cites W2128345666 @default.
• W4246334639 cites W2134440791 @default.
• W4246334639 cites W2135023759 @default.
• W4246334639 cites W2135395375 @default.
• W4246334639 cites W2143078813 @default.
• W4246334639 cites W2145021036 @default.
• W4246334639 cites W2150602145 @default.
• W4246334639 cites W2153185479 @default.
• W4246334639 cites W2153229512 @default.
• W4246334639 cites W2154557525 @default.
• W4246334639 cites W2158175015 @default.
• W4246334639 cites W2170200862 @default.
• W4246334639 cites W3137220996 @default.
• W4246334639 cites W3140486093 @default.
• W4246334639 cites W4235385348 @default.
• W4246334639 cites W4248655060 @default.
• W4246334639 cites W4251803824 @default.
• W4246334639 cites W4254906220 @default.
• W4246334639 doi "https://doi.org/10.1145/2189750.2150997" @default.
• W4246334639 hasPublicationYear "2012" @default.
• W4246334639 type Work @default.
• W4246334639 citedByCount "7" @default.
• W4246334639 countsByYear W42463346392014 @default.
• W4246334639 countsByYear W42463346392016 @default.
• W4246334639 countsByYear W42463346392017 @default.
• W4246334639 countsByYear W42463346392018 @default.
• W4246334639 countsByYear W42463346392019 @default.
• W4246334639 crossrefType "journal-article" @default.
• W4246334639 hasAuthorship W4246334639A5023666971 @default.
• W4246334639 hasAuthorship W4246334639A5028907149 @default.
• W4246334639 hasAuthorship W4246334639A5050964144 @default.
• W4246334639 hasConcept C13424479 @default.
• W4246334639 hasConcept C138101251 @default.
• W4246334639 hasConcept C154945302 @default.
• W4246334639 hasConcept C168065819 @default.
• W4246334639 hasConcept C193702766 @default.
• W4246334639 hasConcept C199360897 @default.
• W4246334639 hasConcept C2776654903 @default.
• W4246334639 hasConcept C38652104 @default.
• W4246334639 hasConcept C41008148 @default.
• W4246334639 hasConcept C59822182 @default.
• W4246334639 hasConcept C76509639 @default.
• W4246334639 hasConcept C86803240 @default.
• W4246334639 hasConceptScore W4246334639C13424479 @default.
• W4246334639 hasConceptScore W4246334639C138101251 @default.
• W4246334639 hasConceptScore W4246334639C154945302 @default.
• W4246334639 hasConceptScore W4246334639C168065819 @default.
• W4246334639 hasConceptScore W4246334639C193702766 @default.
• W4246334639 hasConceptScore W4246334639C199360897 @default.
• W4246334639 hasConceptScore W4246334639C2776654903 @default.
• W4246334639 hasConceptScore W4246334639C38652104 @default.
• W4246334639 hasConceptScore W4246334639C41008148 @default.
• W4246334639 hasConceptScore W4246334639C59822182 @default.
• W4246334639 hasConceptScore W4246334639C76509639 @default.
• W4246334639 hasConceptScore W4246334639C86803240 @default.
• W4246334639 hasIssue "1" @default.
• W4246334639 hasLocation W42463346391 @default.
• W4246334639 hasOpenAccess W4246334639 @default.
• W4246334639 hasPrimaryLocation W42463346391 @default.
• W4246334639 hasRelatedWork W1887412317 @default.
• W4246334639 hasRelatedWork W2120724409 @default.
• W4246334639 hasRelatedWork W2157776318 @default.
• W4246334639 hasRelatedWork W2535839256 @default.
• W4246334639 hasRelatedWork W2765837537 @default.
• W4246334639 hasRelatedWork W2998398829 @default.
• W4246334639 hasRelatedWork W3000369802 @default.
• W4246334639 hasRelatedWork W4220857707 @default.
• W4246334639 hasRelatedWork W4243860902 @default.
• W4246334639 hasRelatedWork W2527368155 @default.

• next