Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293308013> ?p ?o ?g. }
- W2293308013 endingPage "296" @default.
- W2293308013 startingPage "280" @default.
- W2293308013 abstract "Atomicity is a fundamental property to guarantee the isolation of a work unit (i.e., a sequence of related events in a thread) from concurrent threads. However, ensuring atomicity is often very challenging due to complex thread interactions. We present an approach to help developers verify whether such work units, which have triggered bugs due to certain violations of atomicity, are sufficiently synchronized or not by locks introduced for fixing the bugs. A key feature of our approach is that it combines the fortes of both bug-driven and change-aware techniques, which enables it to effectively verify synchronizations by testing only a minimal set of suspicious atomicity violations without any knowledge on the to-be-isolated work units, thus being more efficient and practical than other approaches. Besides, unlike existing approaches, our approach effectively utilizes all the inferred execution traces even they may not be completely feasible, such that the verification algorithm can converge much faster. We demonstrate via extensive evaluation that our approach is much more effective and efficient than the state-of-the-arts. Besides, we show that although there have existed sound automatic fixing techniques for atomicity violations, our approach is still necessary and useful for quality assurance of concurrent programs, because the assumption behind our approach is much weaker. We have also investigated one of the largest bug databases and found that insufficient synchronizations are common and difficult to be found in software development." @default.
- W2293308013 created "2016-06-24" @default.
- W2293308013 creator A5009423801 @default.
- W2293308013 creator A5034844386 @default.
- W2293308013 creator A5052381120 @default.
- W2293308013 creator A5065276486 @default.
- W2293308013 date "2016-03-01" @default.
- W2293308013 modified "2023-10-16" @default.
- W2293308013 title "Verifying Synchronization for Atomicity Violation Fixing" @default.
- W2293308013 cites W1575599371 @default.
- W2293308013 cites W1581214603 @default.
- W2293308013 cites W1977476643 @default.
- W2293308013 cites W2025171865 @default.
- W2293308013 cites W2033651910 @default.
- W2293308013 cites W2042310182 @default.
- W2293308013 cites W2046368282 @default.
- W2293308013 cites W2080696000 @default.
- W2293308013 cites W2082766667 @default.
- W2293308013 cites W2091543666 @default.
- W2293308013 cites W2097146584 @default.
- W2293308013 cites W2101161997 @default.
- W2293308013 cites W2101939036 @default.
- W2293308013 cites W2106029456 @default.
- W2293308013 cites W2111900492 @default.
- W2293308013 cites W2119760639 @default.
- W2293308013 cites W2120027538 @default.
- W2293308013 cites W2129487583 @default.
- W2293308013 cites W2130836596 @default.
- W2293308013 cites W2137422315 @default.
- W2293308013 cites W2146177878 @default.
- W2293308013 cites W2153229512 @default.
- W2293308013 cites W2154445728 @default.
- W2293308013 cites W2159812975 @default.
- W2293308013 cites W2160781056 @default.
- W2293308013 cites W2162036145 @default.
- W2293308013 cites W2164538023 @default.
- W2293308013 cites W2166091242 @default.
- W2293308013 cites W2169712903 @default.
- W2293308013 cites W2169958633 @default.
- W2293308013 cites W2171076136 @default.
- W2293308013 cites W2296019735 @default.
- W2293308013 cites W2398231325 @default.
- W2293308013 cites W3144062663 @default.
- W2293308013 cites W3148851051 @default.
- W2293308013 cites W3151416809 @default.
- W2293308013 cites W4210712189 @default.
- W2293308013 cites W4235116491 @default.
- W2293308013 cites W4236306709 @default.
- W2293308013 cites W4239874976 @default.
- W2293308013 doi "https://doi.org/10.1109/tse.2015.2477820" @default.
- W2293308013 hasPublicationYear "2016" @default.
- W2293308013 type Work @default.
- W2293308013 sameAs 2293308013 @default.
- W2293308013 citedByCount "9" @default.
- W2293308013 countsByYear W22933080132016 @default.
- W2293308013 countsByYear W22933080132018 @default.
- W2293308013 countsByYear W22933080132019 @default.
- W2293308013 countsByYear W22933080132020 @default.
- W2293308013 countsByYear W22933080132021 @default.
- W2293308013 countsByYear W22933080132023 @default.
- W2293308013 crossrefType "journal-article" @default.
- W2293308013 hasAuthorship W2293308013A5009423801 @default.
- W2293308013 hasAuthorship W2293308013A5034844386 @default.
- W2293308013 hasAuthorship W2293308013A5052381120 @default.
- W2293308013 hasAuthorship W2293308013A5065276486 @default.
- W2293308013 hasConcept C120314980 @default.
- W2293308013 hasConcept C127162648 @default.
- W2293308013 hasConcept C138101251 @default.
- W2293308013 hasConcept C145428669 @default.
- W2293308013 hasConcept C168065819 @default.
- W2293308013 hasConcept C188045909 @default.
- W2293308013 hasConcept C193702766 @default.
- W2293308013 hasConcept C199360897 @default.
- W2293308013 hasConcept C2775941552 @default.
- W2293308013 hasConcept C2778562939 @default.
- W2293308013 hasConcept C31258907 @default.
- W2293308013 hasConcept C41008148 @default.
- W2293308013 hasConcept C75949130 @default.
- W2293308013 hasConcept C86803240 @default.
- W2293308013 hasConcept C89423630 @default.
- W2293308013 hasConceptScore W2293308013C120314980 @default.
- W2293308013 hasConceptScore W2293308013C127162648 @default.
- W2293308013 hasConceptScore W2293308013C138101251 @default.
- W2293308013 hasConceptScore W2293308013C145428669 @default.
- W2293308013 hasConceptScore W2293308013C168065819 @default.
- W2293308013 hasConceptScore W2293308013C188045909 @default.
- W2293308013 hasConceptScore W2293308013C193702766 @default.
- W2293308013 hasConceptScore W2293308013C199360897 @default.
- W2293308013 hasConceptScore W2293308013C2775941552 @default.
- W2293308013 hasConceptScore W2293308013C2778562939 @default.
- W2293308013 hasConceptScore W2293308013C31258907 @default.
- W2293308013 hasConceptScore W2293308013C41008148 @default.
- W2293308013 hasConceptScore W2293308013C75949130 @default.
- W2293308013 hasConceptScore W2293308013C86803240 @default.
- W2293308013 hasConceptScore W2293308013C89423630 @default.
- W2293308013 hasFunder F4320321001 @default.
- W2293308013 hasFunder F4320335777 @default.
- W2293308013 hasIssue "3" @default.