Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130836596> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2130836596 abstract "In object-oriented code, atomicity is ideally isolated in a library which encapsulates shared program state and provides atomic APIs for access. The library provides a convenient way for programmers to reason about the needed synchronization. However, as the library exports a limited set of APIs, it cannot satisfy every unplanned atomicity demand; therefore, clients may have to compose invocations of the library APIs to obtain new atomic functionality. This process is error-prone due to the complexity of reasoning required, hence tool support for uncovering incorrect compositions (i.e., atomic compositions that are implemented incorrectly) would be very helpful. A key difficulty is how to determine the intended atomic compositions, which are rarely documented. Existing inference techniques cannot be used to infer the atomic compositions because they cannot recognize the library and the client, which requires understanding the related program state. Even if extended to support the library/client, they lead to many false positives or false negatives because they miss the key program logic which reflects programmers’ coding paradigms for atomic compositions." @default.
- W2130836596 created "2016-06-24" @default.
- W2130836596 creator A5012855077 @default.
- W2130836596 creator A5013596682 @default.
- W2130836596 creator A5018814025 @default.
- W2130836596 date "2013-08-18" @default.
- W2130836596 modified "2023-09-30" @default.
- W2130836596 title "Finding incorrect compositions of atomicity" @default.
- W2130836596 cites W1411363976 @default.
- W2130836596 cites W1497336670 @default.
- W2130836596 cites W1977476643 @default.
- W2130836596 cites W1993179651 @default.
- W2130836596 cites W1998735458 @default.
- W2130836596 cites W2029147209 @default.
- W2130836596 cites W2034256728 @default.
- W2130836596 cites W2035743374 @default.
- W2130836596 cites W2060234806 @default.
- W2130836596 cites W2082766667 @default.
- W2130836596 cites W2092483417 @default.
- W2130836596 cites W2111900492 @default.
- W2130836596 cites W2120027538 @default.
- W2130836596 cites W2122578826 @default.
- W2130836596 cites W2135954168 @default.
- W2130836596 cites W2137422315 @default.
- W2130836596 cites W2138546883 @default.
- W2130836596 cites W2144344516 @default.
- W2130836596 cites W2149298504 @default.
- W2130836596 cites W2150290060 @default.
- W2130836596 cites W2153229512 @default.
- W2130836596 cites W2159812975 @default.
- W2130836596 cites W2166091242 @default.
- W2130836596 cites W2167363133 @default.
- W2130836596 cites W2170998491 @default.
- W2130836596 cites W3137220996 @default.
- W2130836596 cites W4243324871 @default.
- W2130836596 cites W4251803824 @default.
- W2130836596 cites W4300810260 @default.
- W2130836596 doi "https://doi.org/10.1145/2491411.2491435" @default.
- W2130836596 hasPublicationYear "2013" @default.
- W2130836596 type Work @default.
- W2130836596 sameAs 2130836596 @default.
- W2130836596 citedByCount "17" @default.
- W2130836596 countsByYear W21308365962013 @default.
- W2130836596 countsByYear W21308365962014 @default.
- W2130836596 countsByYear W21308365962015 @default.
- W2130836596 countsByYear W21308365962016 @default.
- W2130836596 countsByYear W21308365962017 @default.
- W2130836596 countsByYear W21308365962018 @default.
- W2130836596 countsByYear W21308365962020 @default.
- W2130836596 countsByYear W21308365962022 @default.
- W2130836596 crossrefType "proceedings-article" @default.
- W2130836596 hasAuthorship W2130836596A5012855077 @default.
- W2130836596 hasAuthorship W2130836596A5013596682 @default.
- W2130836596 hasAuthorship W2130836596A5018814025 @default.
- W2130836596 hasConcept C105795698 @default.
- W2130836596 hasConcept C154945302 @default.
- W2130836596 hasConcept C177264268 @default.
- W2130836596 hasConcept C179518139 @default.
- W2130836596 hasConcept C188045909 @default.
- W2130836596 hasConcept C199360897 @default.
- W2130836596 hasConcept C26517878 @default.
- W2130836596 hasConcept C33923547 @default.
- W2130836596 hasConcept C38652104 @default.
- W2130836596 hasConcept C41008148 @default.
- W2130836596 hasConcept C64869954 @default.
- W2130836596 hasConcept C75949130 @default.
- W2130836596 hasConcept C80444323 @default.
- W2130836596 hasConceptScore W2130836596C105795698 @default.
- W2130836596 hasConceptScore W2130836596C154945302 @default.
- W2130836596 hasConceptScore W2130836596C177264268 @default.
- W2130836596 hasConceptScore W2130836596C179518139 @default.
- W2130836596 hasConceptScore W2130836596C188045909 @default.
- W2130836596 hasConceptScore W2130836596C199360897 @default.
- W2130836596 hasConceptScore W2130836596C26517878 @default.
- W2130836596 hasConceptScore W2130836596C33923547 @default.
- W2130836596 hasConceptScore W2130836596C38652104 @default.
- W2130836596 hasConceptScore W2130836596C41008148 @default.
- W2130836596 hasConceptScore W2130836596C64869954 @default.
- W2130836596 hasConceptScore W2130836596C75949130 @default.
- W2130836596 hasConceptScore W2130836596C80444323 @default.
- W2130836596 hasLocation W21308365961 @default.
- W2130836596 hasOpenAccess W2130836596 @default.
- W2130836596 hasPrimaryLocation W21308365961 @default.
- W2130836596 hasRelatedWork W135928233 @default.
- W2130836596 hasRelatedWork W2112962394 @default.
- W2130836596 hasRelatedWork W2118300983 @default.
- W2130836596 hasRelatedWork W2382501300 @default.
- W2130836596 hasRelatedWork W2383284615 @default.
- W2130836596 hasRelatedWork W2403278402 @default.
- W2130836596 hasRelatedWork W2998398829 @default.
- W2130836596 hasRelatedWork W3137189469 @default.
- W2130836596 hasRelatedWork W4235530921 @default.
- W2130836596 hasRelatedWork W4243252198 @default.
- W2130836596 isParatext "false" @default.
- W2130836596 isRetracted "false" @default.
- W2130836596 magId "2130836596" @default.
- W2130836596 workType "article" @default.