FRINK Linked Data Fragments server

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

• W4366217170 endingPage "590" @default.
• W4366217170 startingPage "565" @default.
• W4366217170 abstract "Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale databases for storing and retrieving data. Accesses to the database are typically enclosed in transactions that allow computations on shared data to be isolated from other concurrent computations and resilient to failures. Modern databases trade isolation for performance. The weaker the isolation level is, the more behaviors a database is allowed to exhibit and it is up to the developer to ensure that their application can tolerate those behaviors. In this work, we propose stateless model checking algorithms for studying correctness of such applications that rely on dynamic partial order reduction. These algorithms work for a number of widely-used weak isolation levels, including Read Committed, Causal Consistency, Snapshot Isolation and Serializability. We show that they are complete, sound and optimal, and run with polynomial memory consumption in all cases. We report on an implementation of these algorithms in the context of Java Pathfinder applied to a number of challenging applications drawn from the literature of distributed systems and databases." @default.
• W4366217170 created "2023-04-19" @default.
• W4366217170 creator A5003498973 @default.
• W4366217170 creator A5045477471 @default.
• W4366217170 creator A5083082100 @default.
• W4366217170 date "2023-06-06" @default.
• W4366217170 modified "2023-09-30" @default.
• W4366217170 title "Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels" @default.
• W4366217170 cites W1528441743 @default.
• W4366217170 cites W1593428110 @default.
• W4366217170 cites W1983206712 @default.
• W4366217170 cites W1996952974 @default.
• W4366217170 cites W1999288406 @default.
• W4366217170 cites W2016300863 @default.
• W4366217170 cites W2023304911 @default.
• W4366217170 cites W2054554282 @default.
• W4366217170 cites W2065675749 @default.
• W4366217170 cites W2093709900 @default.
• W4366217170 cites W2105986479 @default.
• W4366217170 cites W2117917070 @default.
• W4366217170 cites W2119887456 @default.
• W4366217170 cites W2127428602 @default.
• W4366217170 cites W2153704625 @default.
• W4366217170 cites W2161730338 @default.
• W4366217170 cites W2169870841 @default.
• W4366217170 cites W2171683519 @default.
• W4366217170 cites W2240667924 @default.
• W4366217170 cites W2282477915 @default.
• W4366217170 cites W2293215590 @default.
• W4366217170 cites W2353662026 @default.
• W4366217170 cites W2466104094 @default.
• W4366217170 cites W2528919074 @default.
• W4366217170 cites W2540479136 @default.
• W4366217170 cites W2567103853 @default.
• W4366217170 cites W2612808231 @default.
• W4366217170 cites W2613747361 @default.
• W4366217170 cites W2747419197 @default.
• W4366217170 cites W2778798134 @default.
• W4366217170 cites W2787331432 @default.
• W4366217170 cites W2798647014 @default.
• W4366217170 cites W2885875591 @default.
• W4366217170 cites W2887814217 @default.
• W4366217170 cites W2898350964 @default.
• W4366217170 cites W2953899265 @default.
• W4366217170 cites W2965201944 @default.
• W4366217170 cites W2971298211 @default.
• W4366217170 cites W2979656637 @default.
• W4366217170 cites W2979942385 @default.
• W4366217170 cites W2980176182 @default.
• W4366217170 cites W2997905744 @default.
• W4366217170 cites W3011074696 @default.
• W4366217170 cites W3085309079 @default.
• W4366217170 cites W3120122913 @default.
• W4366217170 cites W3137220996 @default.
• W4366217170 cites W3184331482 @default.
• W4366217170 cites W3205162920 @default.
• W4366217170 cites W4205148915 @default.
• W4366217170 cites W4232306982 @default.
• W4366217170 cites W4243889443 @default.
• W4366217170 doi "https://doi.org/10.1145/3591243" @default.
• W4366217170 hasPublicationYear "2023" @default.
• W4366217170 type Work @default.
• W4366217170 citedByCount "0" @default.
• W4366217170 crossrefType "journal-article" @default.
• W4366217170 hasAuthorship W4366217170A5003498973 @default.
• W4366217170 hasAuthorship W4366217170A5045477471 @default.
• W4366217170 hasAuthorship W4366217170A5083082100 @default.
• W4366217170 hasBestOaLocation W43662171701 @default.
• W4366217170 hasConcept C111335779 @default.
• W4366217170 hasConcept C120314980 @default.
• W4366217170 hasConcept C191558696 @default.
• W4366217170 hasConcept C199360897 @default.
• W4366217170 hasConcept C25185021 @default.
• W4366217170 hasConcept C2524010 @default.
• W4366217170 hasConcept C2775941552 @default.
• W4366217170 hasConcept C33923547 @default.
• W4366217170 hasConcept C37279795 @default.
• W4366217170 hasConcept C41008148 @default.
• W4366217170 hasConcept C55439883 @default.
• W4366217170 hasConcept C72108876 @default.
• W4366217170 hasConcept C75949130 @default.
• W4366217170 hasConcept C77088390 @default.
• W4366217170 hasConcept C86803240 @default.
• W4366217170 hasConcept C89423630 @default.
• W4366217170 hasConceptScore W4366217170C111335779 @default.
• W4366217170 hasConceptScore W4366217170C120314980 @default.
• W4366217170 hasConceptScore W4366217170C191558696 @default.
• W4366217170 hasConceptScore W4366217170C199360897 @default.
• W4366217170 hasConceptScore W4366217170C25185021 @default.
• W4366217170 hasConceptScore W4366217170C2524010 @default.
• W4366217170 hasConceptScore W4366217170C2775941552 @default.
• W4366217170 hasConceptScore W4366217170C33923547 @default.
• W4366217170 hasConceptScore W4366217170C37279795 @default.
• W4366217170 hasConceptScore W4366217170C41008148 @default.
• W4366217170 hasConceptScore W4366217170C55439883 @default.
• W4366217170 hasConceptScore W4366217170C72108876 @default.
• W4366217170 hasConceptScore W4366217170C75949130 @default.
• W4366217170 hasConceptScore W4366217170C77088390 @default.

• next