Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225849873> ?p ?o ?g. }
- W4225849873 abstract "Many concurrency bugs are hidden deeply behind thread interleaving and are hard to detect. Existing dynamic predictive checkers can analyze execution traces to expose predictive cases of data races and deadlocks hidden by the thread interleavings of execution traces and inferable from these inter-leavings. To the best of our knowledge, however, no existing work for the detection of atomicity violation at the transaction level (AV) can expose predictive atomicity violations. In this paper, we present the first work to address this problem. Our technique, Meteor, formulates a novel algorithm with a thread-centric pipeline to capture enumerable dependency sequences containing reversible dependencies incrementally, implicitly, and soundly. It detects predictive atomicity violations without producing false positives. We prove its soundness by theorems. We have evaluated Meteor on 19 subjects, which confirms the soundness and effectiveness of Meteor to detect predictive atomicity violations in the programs." @default.
- W4225849873 created "2022-05-05" @default.
- W4225849873 creator A5040500225 @default.
- W4225849873 creator A5049384556 @default.
- W4225849873 creator A5051831276 @default.
- W4225849873 date "2021-12-01" @default.
- W4225849873 modified "2023-09-27" @default.
- W4225849873 title "Sound Predictive Atomicity Violation Detection§" @default.
- W4225849873 cites W1546106366 @default.
- W4225849873 cites W1585867330 @default.
- W4225849873 cites W1634149337 @default.
- W4225849873 cites W1974042116 @default.
- W4225849873 cites W1980689777 @default.
- W4225849873 cites W2002096014 @default.
- W4225849873 cites W2010830544 @default.
- W4225849873 cites W2025871578 @default.
- W4225849873 cites W2046368282 @default.
- W4225849873 cites W2055116083 @default.
- W4225849873 cites W2071423705 @default.
- W4225849873 cites W2072062729 @default.
- W4225849873 cites W2080869721 @default.
- W4225849873 cites W2082766667 @default.
- W4225849873 cites W2083342911 @default.
- W4225849873 cites W2101161997 @default.
- W4225849873 cites W2109033563 @default.
- W4225849873 cites W2121696621 @default.
- W4225849873 cites W2134164054 @default.
- W4225849873 cites W2146766856 @default.
- W4225849873 cites W2159812975 @default.
- W4225849873 cites W2159856414 @default.
- W4225849873 cites W2161466480 @default.
- W4225849873 cites W2164538023 @default.
- W4225849873 cites W2166091242 @default.
- W4225849873 cites W2167744164 @default.
- W4225849873 cites W2258891924 @default.
- W4225849873 cites W2293308013 @default.
- W4225849873 cites W2606910946 @default.
- W4225849873 cites W2621304065 @default.
- W4225849873 cites W2799137521 @default.
- W4225849873 cites W2967820074 @default.
- W4225849873 cites W2999342424 @default.
- W4225849873 cites W3011029566 @default.
- W4225849873 cites W3091693993 @default.
- W4225849873 cites W3106314272 @default.
- W4225849873 cites W3116389844 @default.
- W4225849873 cites W3137220996 @default.
- W4225849873 cites W4234423827 @default.
- W4225849873 cites W4235116491 @default.
- W4225849873 cites W4236306709 @default.
- W4225849873 doi "https://doi.org/10.1109/qrs54544.2021.00022" @default.
- W4225849873 hasPublicationYear "2021" @default.
- W4225849873 type Work @default.
- W4225849873 citedByCount "1" @default.
- W4225849873 countsByYear W42258498732022 @default.
- W4225849873 crossrefType "proceedings-article" @default.
- W4225849873 hasAuthorship W4225849873A5040500225 @default.
- W4225849873 hasAuthorship W4225849873A5049384556 @default.
- W4225849873 hasAuthorship W4225849873A5051831276 @default.
- W4225849873 hasConcept C108710211 @default.
- W4225849873 hasConcept C138101251 @default.
- W4225849873 hasConcept C154945302 @default.
- W4225849873 hasConcept C173608175 @default.
- W4225849873 hasConcept C188045909 @default.
- W4225849873 hasConcept C193702766 @default.
- W4225849873 hasConcept C199360897 @default.
- W4225849873 hasConcept C2524010 @default.
- W4225849873 hasConcept C33923547 @default.
- W4225849873 hasConcept C39920170 @default.
- W4225849873 hasConcept C41008148 @default.
- W4225849873 hasConcept C41138395 @default.
- W4225849873 hasConcept C64869954 @default.
- W4225849873 hasConcept C75949130 @default.
- W4225849873 hasConcept C80444323 @default.
- W4225849873 hasConceptScore W4225849873C108710211 @default.
- W4225849873 hasConceptScore W4225849873C138101251 @default.
- W4225849873 hasConceptScore W4225849873C154945302 @default.
- W4225849873 hasConceptScore W4225849873C173608175 @default.
- W4225849873 hasConceptScore W4225849873C188045909 @default.
- W4225849873 hasConceptScore W4225849873C193702766 @default.
- W4225849873 hasConceptScore W4225849873C199360897 @default.
- W4225849873 hasConceptScore W4225849873C2524010 @default.
- W4225849873 hasConceptScore W4225849873C33923547 @default.
- W4225849873 hasConceptScore W4225849873C39920170 @default.
- W4225849873 hasConceptScore W4225849873C41008148 @default.
- W4225849873 hasConceptScore W4225849873C41138395 @default.
- W4225849873 hasConceptScore W4225849873C64869954 @default.
- W4225849873 hasConceptScore W4225849873C75949130 @default.
- W4225849873 hasConceptScore W4225849873C80444323 @default.
- W4225849873 hasLocation W42258498731 @default.
- W4225849873 hasOpenAccess W4225849873 @default.
- W4225849873 hasPrimaryLocation W42258498731 @default.
- W4225849873 hasRelatedWork W2023785576 @default.
- W4225849873 hasRelatedWork W2048467032 @default.
- W4225849873 hasRelatedWork W2164913620 @default.
- W4225849873 hasRelatedWork W2624440775 @default.
- W4225849873 hasRelatedWork W2998398829 @default.
- W4225849873 hasRelatedWork W3018138097 @default.
- W4225849873 hasRelatedWork W3138411814 @default.
- W4225849873 hasRelatedWork W4225849873 @default.
- W4225849873 hasRelatedWork W4232891356 @default.