Matches in SemOpenAlex for { <https://semopenalex.org/work/W2059838268> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2059838268 abstract "Races hidden in concurrent programs can lead to harmful bugs. These bugs are difficult to detect due to their non-deterministic characteristics. Previous work has tried to dynamically verify races in actual executions to check whether they would lead to failures. However, it is inefficient to verify all the races to find the harmful bugs if there are a large number of races. To improve the efficiency, PFinder is the first technique that uses a parallel method to verify multiple races on multiple machines simultaneously. We have implemented PFinder as a prototype tool and have experimented on a number of real-world concurrent programs. All the known bugs in known benchmarks are detected. Also, PFinder could scale well as the number of machines increases. Additionally, the speedup of PFinder can be increased linearly with the number of machines." @default.
- W2059838268 created "2016-06-24" @default.
- W2059838268 creator A5012979904 @default.
- W2059838268 creator A5018453698 @default.
- W2059838268 creator A5063253432 @default.
- W2059838268 creator A5063497907 @default.
- W2059838268 creator A5089812226 @default.
- W2059838268 date "2014-12-01" @default.
- W2059838268 modified "2023-09-27" @default.
- W2059838268 title "PFinder: Efficiently detecting bugs in concurrent programs through parallelizing race verification" @default.
- W2059838268 cites W1887412317 @default.
- W2059838268 cites W1974008590 @default.
- W2059838268 cites W1978903859 @default.
- W2059838268 cites W2045238089 @default.
- W2059838268 cites W2046368282 @default.
- W2059838268 cites W2093755302 @default.
- W2059838268 cites W2099390117 @default.
- W2059838268 cites W2101161997 @default.
- W2059838268 cites W2102740706 @default.
- W2059838268 cites W2104775031 @default.
- W2059838268 cites W2111413199 @default.
- W2059838268 cites W2116030344 @default.
- W2059838268 cites W2121816623 @default.
- W2059838268 cites W2128453996 @default.
- W2059838268 cites W2133662847 @default.
- W2059838268 cites W2134633067 @default.
- W2059838268 cites W2135395375 @default.
- W2059838268 cites W2145021036 @default.
- W2059838268 cites W2153229512 @default.
- W2059838268 cites W2154557525 @default.
- W2059838268 cites W2162630235 @default.
- W2059838268 cites W2166841005 @default.
- W2059838268 cites W2167744164 @default.
- W2059838268 cites W3136887963 @default.
- W2059838268 doi "https://doi.org/10.1109/icces.2014.7030948" @default.
- W2059838268 hasPublicationYear "2014" @default.
- W2059838268 type Work @default.
- W2059838268 sameAs 2059838268 @default.
- W2059838268 citedByCount "0" @default.
- W2059838268 crossrefType "proceedings-article" @default.
- W2059838268 hasAuthorship W2059838268A5012979904 @default.
- W2059838268 hasAuthorship W2059838268A5018453698 @default.
- W2059838268 hasAuthorship W2059838268A5063253432 @default.
- W2059838268 hasAuthorship W2059838268A5063497907 @default.
- W2059838268 hasAuthorship W2059838268A5089812226 @default.
- W2059838268 hasConcept C1009929 @default.
- W2059838268 hasConcept C120314980 @default.
- W2059838268 hasConcept C173608175 @default.
- W2059838268 hasConcept C199360897 @default.
- W2059838268 hasConcept C2777904410 @default.
- W2059838268 hasConcept C41008148 @default.
- W2059838268 hasConcept C59822182 @default.
- W2059838268 hasConcept C68339613 @default.
- W2059838268 hasConcept C76509639 @default.
- W2059838268 hasConcept C86803240 @default.
- W2059838268 hasConceptScore W2059838268C1009929 @default.
- W2059838268 hasConceptScore W2059838268C120314980 @default.
- W2059838268 hasConceptScore W2059838268C173608175 @default.
- W2059838268 hasConceptScore W2059838268C199360897 @default.
- W2059838268 hasConceptScore W2059838268C2777904410 @default.
- W2059838268 hasConceptScore W2059838268C41008148 @default.
- W2059838268 hasConceptScore W2059838268C59822182 @default.
- W2059838268 hasConceptScore W2059838268C68339613 @default.
- W2059838268 hasConceptScore W2059838268C76509639 @default.
- W2059838268 hasConceptScore W2059838268C86803240 @default.
- W2059838268 hasLocation W20598382681 @default.
- W2059838268 hasOpenAccess W2059838268 @default.
- W2059838268 hasPrimaryLocation W20598382681 @default.
- W2059838268 hasRelatedWork W1590406138 @default.
- W2059838268 hasRelatedWork W1597481093 @default.
- W2059838268 hasRelatedWork W2018949666 @default.
- W2059838268 hasRelatedWork W2060107892 @default.
- W2059838268 hasRelatedWork W2066362616 @default.
- W2059838268 hasRelatedWork W2104775031 @default.
- W2059838268 hasRelatedWork W2117564107 @default.
- W2059838268 hasRelatedWork W2117741559 @default.
- W2059838268 hasRelatedWork W2119898212 @default.
- W2059838268 hasRelatedWork W2137861430 @default.
- W2059838268 hasRelatedWork W2150176148 @default.
- W2059838268 hasRelatedWork W2312958688 @default.
- W2059838268 hasRelatedWork W2344916214 @default.
- W2059838268 hasRelatedWork W2492163994 @default.
- W2059838268 hasRelatedWork W2619153025 @default.
- W2059838268 hasRelatedWork W2805331624 @default.
- W2059838268 hasRelatedWork W3169063152 @default.
- W2059838268 hasRelatedWork W3203687540 @default.
- W2059838268 hasRelatedWork W93149295 @default.
- W2059838268 hasRelatedWork W2184285710 @default.
- W2059838268 isParatext "false" @default.
- W2059838268 isRetracted "false" @default.
- W2059838268 magId "2059838268" @default.
- W2059838268 workType "article" @default.