Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315606116> ?p ?o ?g. }
- W4315606116 endingPage "1572" @default.
- W4315606116 startingPage "1542" @default.
- W4315606116 abstract "Concurrent data structures and synchronization mechanisms implemented by expert developers are indispensable for modular software development. In this paper, we address the fundamental problem of library abstraction under weak memory concurrency, and identify a general library correctness condition allowing clients of the library to reason about program behaviors using the specification code, which is often much simpler than the concrete implementation. We target (a fragment of) the RC11 memory model, and develop an equivalent operational presentation that exposes knowledge propagation between threads, and is sufficiently expressive to capture library behaviors as totally ordered operational execution traces. We further introduce novel access modes to the language that allow intricate specifications accounting for library internal synchronization that is not exposed to the client, as well as the library's demands on external synchronization by the client. We illustrate applications of our approach in several examples of different natures." @default.
- W4315606116 created "2023-01-12" @default.
- W4315606116 creator A5004737121 @default.
- W4315606116 creator A5017642351 @default.
- W4315606116 date "2023-01-09" @default.
- W4315606116 modified "2023-10-01" @default.
- W4315606116 title "An Operational Approach to Library Abstraction under Relaxed Memory Concurrency" @default.
- W4315606116 cites W136533073 @default.
- W4315606116 cites W1525350307 @default.
- W4315606116 cites W1882160752 @default.
- W4315606116 cites W2015574046 @default.
- W4315606116 cites W2034535157 @default.
- W4315606116 cites W2054391605 @default.
- W4315606116 cites W2054739713 @default.
- W4315606116 cites W2058943117 @default.
- W4315606116 cites W20815996 @default.
- W4315606116 cites W2089775579 @default.
- W4315606116 cites W2101939036 @default.
- W4315606116 cites W2139533136 @default.
- W4315606116 cites W2147323041 @default.
- W4315606116 cites W2151448199 @default.
- W4315606116 cites W2293319505 @default.
- W4315606116 cites W2494152628 @default.
- W4315606116 cites W2561986775 @default.
- W4315606116 cites W2564852534 @default.
- W4315606116 cites W2626631502 @default.
- W4315606116 cites W2727429054 @default.
- W4315606116 cites W2738891045 @default.
- W4315606116 cites W2775466596 @default.
- W4315606116 cites W2778029444 @default.
- W4315606116 cites W2789383461 @default.
- W4315606116 cites W2799051758 @default.
- W4315606116 cites W2887304561 @default.
- W4315606116 cites W2899645750 @default.
- W4315606116 cites W2907766023 @default.
- W4315606116 cites W2953899265 @default.
- W4315606116 cites W2955445014 @default.
- W4315606116 cites W2955964099 @default.
- W4315606116 cites W2964290598 @default.
- W4315606116 cites W2989289194 @default.
- W4315606116 cites W2997323435 @default.
- W4315606116 cites W3022621909 @default.
- W4315606116 cites W3117953372 @default.
- W4315606116 cites W3129944396 @default.
- W4315606116 cites W3153626425 @default.
- W4315606116 cites W3176924883 @default.
- W4315606116 cites W3193924946 @default.
- W4315606116 cites W3195812638 @default.
- W4315606116 cites W4226276944 @default.
- W4315606116 cites W4240322740 @default.
- W4315606116 cites W4281945852 @default.
- W4315606116 cites W867008410 @default.
- W4315606116 doi "https://doi.org/10.1145/3571246" @default.
- W4315606116 hasPublicationYear "2023" @default.
- W4315606116 type Work @default.
- W4315606116 citedByCount "1" @default.
- W4315606116 countsByYear W43156061162023 @default.
- W4315606116 crossrefType "journal-article" @default.
- W4315606116 hasAuthorship W4315606116A5004737121 @default.
- W4315606116 hasAuthorship W4315606116A5017642351 @default.
- W4315606116 hasBestOaLocation W43156061161 @default.
- W4315606116 hasConcept C101468663 @default.
- W4315606116 hasConcept C111472728 @default.
- W4315606116 hasConcept C124304363 @default.
- W4315606116 hasConcept C127162648 @default.
- W4315606116 hasConcept C138885662 @default.
- W4315606116 hasConcept C193702766 @default.
- W4315606116 hasConcept C199360897 @default.
- W4315606116 hasConcept C2778562939 @default.
- W4315606116 hasConcept C31258907 @default.
- W4315606116 hasConcept C41008148 @default.
- W4315606116 hasConcept C55439883 @default.
- W4315606116 hasConceptScore W4315606116C101468663 @default.
- W4315606116 hasConceptScore W4315606116C111472728 @default.
- W4315606116 hasConceptScore W4315606116C124304363 @default.
- W4315606116 hasConceptScore W4315606116C127162648 @default.
- W4315606116 hasConceptScore W4315606116C138885662 @default.
- W4315606116 hasConceptScore W4315606116C193702766 @default.
- W4315606116 hasConceptScore W4315606116C199360897 @default.
- W4315606116 hasConceptScore W4315606116C2778562939 @default.
- W4315606116 hasConceptScore W4315606116C31258907 @default.
- W4315606116 hasConceptScore W4315606116C41008148 @default.
- W4315606116 hasConceptScore W4315606116C55439883 @default.
- W4315606116 hasFunder F4320322252 @default.
- W4315606116 hasFunder F4320334678 @default.
- W4315606116 hasIssue "POPL" @default.
- W4315606116 hasLocation W43156061161 @default.
- W4315606116 hasOpenAccess W4315606116 @default.
- W4315606116 hasPrimaryLocation W43156061161 @default.
- W4315606116 hasRelatedWork W1496409793 @default.
- W4315606116 hasRelatedWork W1521353230 @default.
- W4315606116 hasRelatedWork W1548537923 @default.
- W4315606116 hasRelatedWork W163665164 @default.
- W4315606116 hasRelatedWork W2027990408 @default.
- W4315606116 hasRelatedWork W2234667902 @default.
- W4315606116 hasRelatedWork W2392922832 @default.
- W4315606116 hasRelatedWork W2573962391 @default.
- W4315606116 hasRelatedWork W3160136729 @default.