FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3017394600> ?p ?o ?g. }

• W3017394600 abstract "Geo-replicated systems provide a number of desirable properties such as globally low latency, high availability, scalability, and built-in fault tolerance. Unfortunately, programming correct applications on top of such systems has proven to be very challenging, in large part because of the weak consistency guarantees they offer. These complexities are exacerbated when we try to adapt existing highly-performant concurrent libraries developed for shared-memory environments to this setting. The use of these libraries, developed with performance and scalability in mind, is highly desirable. But, identifying a suitable notion of correctness to check their validity under a weakly consistent execution model has not been well-studied, in large part because it is problematic to naively transplant criteria such as linearizability that has a useful interpretation in a shared-memory context to a distributed one where the cost of imposing a (logical) global ordering on all actions is prohibitive. In this paper, we tackle these issues by proposing appropriate semantics and specifications for highly-concurrent libraries in a weakly-consistent, replicated setting. We use these specifications to develop a static analysis framework that can automatically detect correctness violations of library implementations parameterized with respect to the different consistency policies provided by the underlying system. We use our framework to analyze the behavior of a number of highly non-trivial library implementations of stacks, queues, and exchangers. Our results provide the first demonstration that automated correctness checking of concurrent libraries in a weakly geo-replicated setting is both feasible and practical." @default.
• W3017394600 created "2020-05-01" @default.
• W3017394600 creator A5034957233 @default.
• W3017394600 creator A5038045521 @default.
• W3017394600 creator A5046570178 @default.
• W3017394600 date "2020-04-21" @default.
• W3017394600 modified "2023-09-27" @default.
• W3017394600 title "Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems" @default.
• W3017394600 cites W125251596 @default.
• W3017394600 cites W1601925768 @default.
• W3017394600 cites W1689093460 @default.
• W3017394600 cites W1965614349 @default.
• W3017394600 cites W1972955159 @default.
• W3017394600 cites W1981393723 @default.
• W3017394600 cites W1983572666 @default.
• W3017394600 cites W2037683502 @default.
• W3017394600 cites W2039176376 @default.
• W3017394600 cites W2082133002 @default.
• W3017394600 cites W2101939036 @default.
• W3017394600 cites W2110768875 @default.
• W3017394600 cites W2125930899 @default.
• W3017394600 cites W2127428602 @default.
• W3017394600 cites W2143725230 @default.
• W3017394600 cites W2161730338 @default.
• W3017394600 cites W2209943643 @default.
• W3017394600 cites W2282477915 @default.
• W3017394600 cites W2293215590 @default.
• W3017394600 cites W2540479136 @default.
• W3017394600 cites W2546854465 @default.
• W3017394600 cites W2604930776 @default.
• W3017394600 cites W2607118653 @default.
• W3017394600 cites W2798647014 @default.
• W3017394600 cites W2885875591 @default.
• W3017394600 cites W2887304561 @default.
• W3017394600 cites W2898350964 @default.
• W3017394600 cites W2900394527 @default.
• W3017394600 cites W2907766023 @default.
• W3017394600 cites W2962998221 @default.
• W3017394600 cites W2963419690 @default.
• W3017394600 cites W2965201944 @default.
• W3017394600 cites W2966783104 @default.
• W3017394600 cites W2971298211 @default.
• W3017394600 cites W2979656637 @default.
• W3017394600 hasPublicationYear "2020" @default.
• W3017394600 type Work @default.
• W3017394600 sameAs 3017394600 @default.
• W3017394600 citedByCount "0" @default.
• W3017394600 crossrefType "posted-content" @default.
• W3017394600 hasAuthorship W3017394600A5034957233 @default.
• W3017394600 hasAuthorship W3017394600A5038045521 @default.
• W3017394600 hasAuthorship W3017394600A5046570178 @default.
• W3017394600 hasConcept C120314980 @default.
• W3017394600 hasConcept C121375916 @default.
• W3017394600 hasConcept C154945302 @default.
• W3017394600 hasConcept C15569618 @default.
• W3017394600 hasConcept C160145156 @default.
• W3017394600 hasConcept C175652121 @default.
• W3017394600 hasConcept C184337299 @default.
• W3017394600 hasConcept C193702766 @default.
• W3017394600 hasConcept C199360897 @default.
• W3017394600 hasConcept C20528329 @default.
• W3017394600 hasConcept C26713055 @default.
• W3017394600 hasConcept C2776436953 @default.
• W3017394600 hasConcept C34422012 @default.
• W3017394600 hasConcept C37279795 @default.
• W3017394600 hasConcept C41008148 @default.
• W3017394600 hasConcept C48044578 @default.
• W3017394600 hasConcept C55439883 @default.
• W3017394600 hasConcept C77088390 @default.
• W3017394600 hasConcept C82029504 @default.
• W3017394600 hasConceptScore W3017394600C120314980 @default.
• W3017394600 hasConceptScore W3017394600C121375916 @default.
• W3017394600 hasConceptScore W3017394600C154945302 @default.
• W3017394600 hasConceptScore W3017394600C15569618 @default.
• W3017394600 hasConceptScore W3017394600C160145156 @default.
• W3017394600 hasConceptScore W3017394600C175652121 @default.
• W3017394600 hasConceptScore W3017394600C184337299 @default.
• W3017394600 hasConceptScore W3017394600C193702766 @default.
• W3017394600 hasConceptScore W3017394600C199360897 @default.
• W3017394600 hasConceptScore W3017394600C20528329 @default.
• W3017394600 hasConceptScore W3017394600C26713055 @default.
• W3017394600 hasConceptScore W3017394600C2776436953 @default.
• W3017394600 hasConceptScore W3017394600C34422012 @default.
• W3017394600 hasConceptScore W3017394600C37279795 @default.
• W3017394600 hasConceptScore W3017394600C41008148 @default.
• W3017394600 hasConceptScore W3017394600C48044578 @default.
• W3017394600 hasConceptScore W3017394600C55439883 @default.
• W3017394600 hasConceptScore W3017394600C77088390 @default.
• W3017394600 hasConceptScore W3017394600C82029504 @default.
• W3017394600 hasLocation W30173946001 @default.
• W3017394600 hasOpenAccess W3017394600 @default.
• W3017394600 hasPrimaryLocation W30173946001 @default.
• W3017394600 hasRelatedWork W1553737443 @default.
• W3017394600 hasRelatedWork W1591780766 @default.
• W3017394600 hasRelatedWork W2058943117 @default.
• W3017394600 hasRelatedWork W2077212395 @default.
• W3017394600 hasRelatedWork W2293215590 @default.
• W3017394600 hasRelatedWork W2488606650 @default.
• W3017394600 hasRelatedWork W2497440208 @default.
• W3017394600 hasRelatedWork W2501636505 @default.

• next