FRINK Linked Data Fragments server

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

• W2486150507 abstract "As concurrent and multi-threaded programs are becoming more prevalent with the widespread adoption of multi-core processors, so are the bugs associated with concurrency. These bugs are notoriously hard to find and debug. One reason is that such bugs may be triggered only under rare circumstances, such as a low probability inter-leaving of the program threads. Once a failing execution of the program is observed, ideally we should be able to decipher from that failing run, a location in the program where the bug actually manifests. We present a dynamic approach for detecting concurrency bugs and show how to localise them to a small part of the program code that must be inspected. The key idea is that buggy executions deviate from the control flow path for correct executions. Our approach can detect this deviation from the expected behaviour by identifying Deviant Program Points (DPPs). The DPPs serve to facilitate in localising concurrency bugs. The approach employs dynamic binary instrumentation to record the number of conditional branches that are executed in a program over different executions, while keeping the same program input. This information is mapped back to the source language program to allow the user to understand the detected problem in source language terms. When applied to real world concurrency bugs, our tool is able to successfully pinpoint the location(s) in program code where its execution behaviour deviates from that of a correct program execution. Our system is able to eliminate false positives and localise to the deviant program point by using just a single failed program run with a high level of accuracy." @default.
• W2486150507 created "2016-08-23" @default.
• W2486150507 creator A5026061564 @default.
• W2486150507 creator A5053607753 @default.
• W2486150507 date "2016-05-01" @default.
• W2486150507 modified "2023-09-26" @default.
• W2486150507 title "Detecting Anomalies in Concurrent Programs Based on Dynamic Control Flow Changes" @default.
• W2486150507 cites W1505468428 @default.
• W2486150507 cites W1965194038 @default.
• W2486150507 cites W1972544179 @default.
• W2486150507 cites W2012431717 @default.
• W2486150507 cites W2049381173 @default.
• W2486150507 cites W208073541 @default.
• W2486150507 cites W2100505193 @default.
• W2486150507 cites W2101161997 @default.
• W2486150507 cites W2109033563 @default.
• W2486150507 cites W2119494620 @default.
• W2486150507 cites W2127989655 @default.
• W2486150507 cites W2135023759 @default.
• W2486150507 cites W2137270184 @default.
• W2486150507 cites W2143869535 @default.
• W2486150507 cites W2149984854 @default.
• W2486150507 cites W2152795747 @default.
• W2486150507 cites W2159856414 @default.
• W2486150507 cites W2169019163 @default.
• W2486150507 cites W3023641965 @default.
• W2486150507 cites W3085225935 @default.
• W2486150507 doi "https://doi.org/10.1109/ipdpsw.2016.128" @default.
• W2486150507 hasPublicationYear "2016" @default.
• W2486150507 type Work @default.
• W2486150507 sameAs 2486150507 @default.
• W2486150507 citedByCount "0" @default.
• W2486150507 crossrefType "proceedings-article" @default.
• W2486150507 hasAuthorship W2486150507A5026061564 @default.
• W2486150507 hasAuthorship W2486150507A5053607753 @default.
• W2486150507 hasConcept C1009929 @default.
• W2486150507 hasConcept C111919701 @default.
• W2486150507 hasConcept C118530786 @default.
• W2486150507 hasConcept C140006998 @default.
• W2486150507 hasConcept C154945302 @default.
• W2486150507 hasConcept C160191386 @default.
• W2486150507 hasConcept C168065819 @default.
• W2486150507 hasConcept C177264268 @default.
• W2486150507 hasConcept C193702766 @default.
• W2486150507 hasConcept C199360897 @default.
• W2486150507 hasConcept C26517878 @default.
• W2486150507 hasConcept C2776760102 @default.
• W2486150507 hasConcept C2777904410 @default.
• W2486150507 hasConcept C2780154230 @default.
• W2486150507 hasConcept C41008148 @default.
• W2486150507 hasConcept C43126263 @default.
• W2486150507 hasConcept C64869954 @default.
• W2486150507 hasConcept C75949130 @default.
• W2486150507 hasConcept C84511453 @default.
• W2486150507 hasConcept C98183937 @default.
• W2486150507 hasConceptScore W2486150507C1009929 @default.
• W2486150507 hasConceptScore W2486150507C111919701 @default.
• W2486150507 hasConceptScore W2486150507C118530786 @default.
• W2486150507 hasConceptScore W2486150507C140006998 @default.
• W2486150507 hasConceptScore W2486150507C154945302 @default.
• W2486150507 hasConceptScore W2486150507C160191386 @default.
• W2486150507 hasConceptScore W2486150507C168065819 @default.
• W2486150507 hasConceptScore W2486150507C177264268 @default.
• W2486150507 hasConceptScore W2486150507C193702766 @default.
• W2486150507 hasConceptScore W2486150507C199360897 @default.
• W2486150507 hasConceptScore W2486150507C26517878 @default.
• W2486150507 hasConceptScore W2486150507C2776760102 @default.
• W2486150507 hasConceptScore W2486150507C2777904410 @default.
• W2486150507 hasConceptScore W2486150507C2780154230 @default.
• W2486150507 hasConceptScore W2486150507C41008148 @default.
• W2486150507 hasConceptScore W2486150507C43126263 @default.
• W2486150507 hasConceptScore W2486150507C64869954 @default.
• W2486150507 hasConceptScore W2486150507C75949130 @default.
• W2486150507 hasConceptScore W2486150507C84511453 @default.
• W2486150507 hasConceptScore W2486150507C98183937 @default.
• W2486150507 hasLocation W24861505071 @default.
• W2486150507 hasOpenAccess W2486150507 @default.
• W2486150507 hasPrimaryLocation W24861505071 @default.
• W2486150507 hasRelatedWork W195522912 @default.
• W2486150507 hasRelatedWork W1965198148 @default.
• W2486150507 hasRelatedWork W1978230208 @default.
• W2486150507 hasRelatedWork W1994816063 @default.
• W2486150507 hasRelatedWork W2031091051 @default.
• W2486150507 hasRelatedWork W2074632901 @default.
• W2486150507 hasRelatedWork W2151689991 @default.
• W2486150507 hasRelatedWork W2163216060 @default.
• W2486150507 hasRelatedWork W2289300061 @default.
• W2486150507 hasRelatedWork W2299150109 @default.
• W2486150507 hasRelatedWork W2307567127 @default.
• W2486150507 hasRelatedWork W2516719229 @default.
• W2486150507 hasRelatedWork W2531260568 @default.
• W2486150507 hasRelatedWork W2604203786 @default.
• W2486150507 hasRelatedWork W2763995315 @default.
• W2486150507 hasRelatedWork W2798710664 @default.
• W2486150507 hasRelatedWork W2844028096 @default.
• W2486150507 hasRelatedWork W2991138869 @default.
• W2486150507 hasRelatedWork W3032388438 @default.
• W2486150507 hasRelatedWork W3170638090 @default.
• W2486150507 isParatext "false" @default.
• W2486150507 isRetracted "false" @default.

• next