Matches in SemOpenAlex for { <https://semopenalex.org/work/W2240825388> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2240825388 abstract "Atomicity violation is one of the main sources of concurrency bugs. Empirical studies show that the majority of atomicity violations are instances of the three-access pattern, where two accesses to a shared variable by a thread are interleaved by an access to the same variable by another thread. We present a novel approach to atomicity violation detection that directs the execution towards three-access candidates. The directed search technique comprises two parts: execution schedule synthesis and directed concurrent execution that are based on constraint solving and concolic execution. We have implemented this technique in a tool called AtomChase. In comparison to five previous tools on 22 benchmarks with 4.5 million lines of Java code, AtomChase increased the number of three-access violations found by 24%. To prevent reporting false alarms, we confirm the non-atomicity of the found execution traces. We present and prove sufficient conditions for non-atomicity of traces with the three-access pattern. The conditions could recognize the majority of 89% of the real atomicity violations found by AtomChase. Checking these conditions is more than an order of magnitude faster than the exhaustive check." @default.
- W2240825388 created "2016-06-24" @default.
- W2240825388 creator A5043629858 @default.
- W2240825388 creator A5088825348 @default.
- W2240825388 date "2015-11-01" @default.
- W2240825388 modified "2023-09-28" @default.
- W2240825388 title "AtomChase: Directed search towards atomicity violations" @default.
- W2240825388 cites W1128447031 @default.
- W2240825388 cites W1522958625 @default.
- W2240825388 cites W1536265389 @default.
- W2240825388 cites W1546106366 @default.
- W2240825388 cites W1570482200 @default.
- W2240825388 cites W1579452275 @default.
- W2240825388 cites W1585867330 @default.
- W2240825388 cites W1600422503 @default.
- W2240825388 cites W1605226475 @default.
- W2240825388 cites W1972544179 @default.
- W2240825388 cites W2023304911 @default.
- W2240825388 cites W2025871578 @default.
- W2240825388 cites W2040060046 @default.
- W2240825388 cites W2082766667 @default.
- W2240825388 cites W2099390117 @default.
- W2240825388 cites W2101161997 @default.
- W2240825388 cites W2102640269 @default.
- W2240825388 cites W2109033563 @default.
- W2240825388 cites W2111759889 @default.
- W2240825388 cites W2113751407 @default.
- W2240825388 cites W2118835133 @default.
- W2240825388 cites W2120027538 @default.
- W2240825388 cites W2132613390 @default.
- W2240825388 cites W2132897303 @default.
- W2240825388 cites W2153229512 @default.
- W2240825388 cites W2157888439 @default.
- W2240825388 cites W2159812975 @default.
- W2240825388 cites W2161466480 @default.
- W2240825388 cites W2163499368 @default.
- W2240825388 cites W2164538023 @default.
- W2240825388 cites W2165422215 @default.
- W2240825388 cites W2167363133 @default.
- W2240825388 cites W2171076136 @default.
- W2240825388 cites W2171537091 @default.
- W2240825388 cites W2911806870 @default.
- W2240825388 doi "https://doi.org/10.1109/issre.2015.7381795" @default.
- W2240825388 hasPublicationYear "2015" @default.
- W2240825388 type Work @default.
- W2240825388 sameAs 2240825388 @default.
- W2240825388 citedByCount "2" @default.
- W2240825388 countsByYear W22408253882020 @default.
- W2240825388 countsByYear W22408253882023 @default.
- W2240825388 crossrefType "proceedings-article" @default.
- W2240825388 hasAuthorship W2240825388A5043629858 @default.
- W2240825388 hasAuthorship W2240825388A5088825348 @default.
- W2240825388 hasConcept C138101251 @default.
- W2240825388 hasConcept C173608175 @default.
- W2240825388 hasConcept C188045909 @default.
- W2240825388 hasConcept C193702766 @default.
- W2240825388 hasConcept C199360897 @default.
- W2240825388 hasConcept C41008148 @default.
- W2240825388 hasConcept C548217200 @default.
- W2240825388 hasConcept C75949130 @default.
- W2240825388 hasConceptScore W2240825388C138101251 @default.
- W2240825388 hasConceptScore W2240825388C173608175 @default.
- W2240825388 hasConceptScore W2240825388C188045909 @default.
- W2240825388 hasConceptScore W2240825388C193702766 @default.
- W2240825388 hasConceptScore W2240825388C199360897 @default.
- W2240825388 hasConceptScore W2240825388C41008148 @default.
- W2240825388 hasConceptScore W2240825388C548217200 @default.
- W2240825388 hasConceptScore W2240825388C75949130 @default.
- W2240825388 hasLocation W22408253881 @default.
- W2240825388 hasOpenAccess W2240825388 @default.
- W2240825388 hasPrimaryLocation W22408253881 @default.
- W2240825388 hasRelatedWork W2029588056 @default.
- W2240825388 hasRelatedWork W2113027907 @default.
- W2240825388 hasRelatedWork W2129555383 @default.
- W2240825388 hasRelatedWork W2134164054 @default.
- W2240825388 hasRelatedWork W2153229512 @default.
- W2240825388 hasRelatedWork W2169712903 @default.
- W2240825388 hasRelatedWork W2223896629 @default.
- W2240825388 hasRelatedWork W2602922344 @default.
- W2240825388 hasRelatedWork W2768327291 @default.
- W2240825388 hasRelatedWork W2875867222 @default.
- W2240825388 hasRelatedWork W2912316299 @default.
- W2240825388 hasRelatedWork W2921608250 @default.
- W2240825388 hasRelatedWork W2999342424 @default.
- W2240825388 hasRelatedWork W3010519285 @default.
- W2240825388 hasRelatedWork W3016213579 @default.
- W2240825388 hasRelatedWork W3104919435 @default.
- W2240825388 hasRelatedWork W3203749410 @default.
- W2240825388 hasRelatedWork W87790095 @default.
- W2240825388 hasRelatedWork W1483290694 @default.
- W2240825388 hasRelatedWork W2186238354 @default.
- W2240825388 isParatext "false" @default.
- W2240825388 isRetracted "false" @default.
- W2240825388 magId "2240825388" @default.
- W2240825388 workType "article" @default.