FRINK Linked Data Fragments server

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

• W4315631446 endingPage "1337" @default.
• W4315631446 startingPage "1308" @default.
• W4315631446 abstract "Happens before-based dynamic analysis is the go-to technique for detecting data races in large scale software projects due to the absence of false positive reports. However, such analyses are expensive since they employ expensive vector clock updates at each event, rendering them usable only for in-house testing. In this paper, we present a sampling-based, randomized race detector that processes only constantly many events of the input trace even in the worst case. This is the first sub-linear time (i.e., running in o ( n ) time where n is the length of the trace) dynamic race detection algorithm; previous sampling based approaches like run in linear time (i.e., O ( n )). Our algorithm is a property tester for -race detection — it is sound in that it never reports any false positive, and on traces that are far, with respect to hamming distance, from any race-free trace, the algorithm detects an -race with high probability. Our experimental evaluation of the algorithm and its comparison with state-of-the-art deterministic and sampling based race detectors shows that the algorithm does indeed have significantly low running time, and detects races quite often." @default.
• W4315631446 created "2023-01-12" @default.
• W4315631446 creator A5013715827 @default.
• W4315631446 creator A5015697605 @default.
• W4315631446 creator A5016958234 @default.
• W4315631446 creator A5076852218 @default.
• W4315631446 date "2023-01-09" @default.
• W4315631446 modified "2023-09-26" @default.
• W4315631446 title "Dynamic Race Detection with O(1) Samples" @default.
• W4315631446 cites W1048515 @default.
• W4315631446 cites W1478599539 @default.
• W4315631446 cites W1481985818 @default.
• W4315631446 cites W1587449012 @default.
• W4315631446 cites W1600422503 @default.
• W4315631446 cites W1862182621 @default.
• W4315631446 cites W1865312937 @default.
• W4315631446 cites W1887412317 @default.
• W4315631446 cites W1971137495 @default.
• W4315631446 cites W1972544179 @default.
• W4315631446 cites W1983545421 @default.
• W4315631446 cites W1990191223 @default.
• W4315631446 cites W1995330182 @default.
• W4315631446 cites W2002946738 @default.
• W4315631446 cites W2025819261 @default.
• W4315631446 cites W2036501955 @default.
• W4315631446 cites W2043003055 @default.
• W4315631446 cites W2046368282 @default.
• W4315631446 cites W2059259057 @default.
• W4315631446 cites W2072419942 @default.
• W4315631446 cites W2074937108 @default.
• W4315631446 cites W2078197548 @default.
• W4315631446 cites W2093753124 @default.
• W4315631446 cites W2093755302 @default.
• W4315631446 cites W2101161997 @default.
• W4315631446 cites W2105794846 @default.
• W4315631446 cites W2109691981 @default.
• W4315631446 cites W2109875364 @default.
• W4315631446 cites W2121696621 @default.
• W4315631446 cites W2127989655 @default.
• W4315631446 cites W2135023759 @default.
• W4315631446 cites W2135395375 @default.
• W4315631446 cites W2135948849 @default.
• W4315631446 cites W2150602145 @default.
• W4315631446 cites W2153174073 @default.
• W4315631446 cites W2154557525 @default.
• W4315631446 cites W2159812975 @default.
• W4315631446 cites W2161600851 @default.
• W4315631446 cites W2166091242 @default.
• W4315631446 cites W2166615267 @default.
• W4315631446 cites W2167744164 @default.
• W4315631446 cites W2171537091 @default.
• W4315631446 cites W2285599141 @default.
• W4315631446 cites W2565491543 @default.
• W4315631446 cites W2606910946 @default.
• W4315631446 cites W2625706696 @default.
• W4315631446 cites W2761882621 @default.
• W4315631446 cites W2767677146 @default.
• W4315631446 cites W2799137521 @default.
• W4315631446 cites W2884340427 @default.
• W4315631446 cites W2887512784 @default.
• W4315631446 cites W2898125173 @default.
• W4315631446 cites W2899492704 @default.
• W4315631446 cites W2927543040 @default.
• W4315631446 cites W2995880861 @default.
• W4315631446 cites W2996406784 @default.
• W4315631446 cites W3011029566 @default.
• W4315631446 cites W3016185124 @default.
• W4315631446 cites W3030020395 @default.
• W4315631446 cites W3032865144 @default.
• W4315631446 cites W3106314272 @default.
• W4315631446 cites W3114146851 @default.
• W4315631446 cites W3137220996 @default.
• W4315631446 cites W3142915758 @default.
• W4315631446 cites W3153626425 @default.
• W4315631446 cites W3194987967 @default.
• W4315631446 cites W4214567754 @default.
• W4315631446 cites W4236306709 @default.
• W4315631446 cites W4247660350 @default.
• W4315631446 cites W4251580636 @default.
• W4315631446 cites W4254906220 @default.
• W4315631446 cites W4300810260 @default.
• W4315631446 doi "https://doi.org/10.1145/3571238" @default.
• W4315631446 hasPublicationYear "2023" @default.
• W4315631446 type Work @default.
• W4315631446 citedByCount "2" @default.
• W4315631446 countsByYear W43156314462023 @default.
• W4315631446 crossrefType "journal-article" @default.
• W4315631446 hasAuthorship W4315631446A5013715827 @default.
• W4315631446 hasAuthorship W4315631446A5015697605 @default.
• W4315631446 hasAuthorship W4315631446A5016958234 @default.
• W4315631446 hasAuthorship W4315631446A5076852218 @default.
• W4315631446 hasBestOaLocation W43156314461 @default.
• W4315631446 hasConcept C11413529 @default.
• W4315631446 hasConcept C121332964 @default.
• W4315631446 hasConcept C127162648 @default.
• W4315631446 hasConcept C129891060 @default.
• W4315631446 hasConcept C138885662 @default.
• W4315631446 hasConcept C140779682 @default.

• next