Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379474650> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4379474650 abstract "We present a general framework for specifying and verifying persistent libraries, that is, libraries of data structures that provide some persistency guarantees upon a failure of the machine they are executing on. Our framework enables modular reasoning about the correctness of individual libraries (horizontal and vertical compositionality) and is general enough to encompass all existing persistent library specifications ranging from hardware architectural specifications to correctness conditions such as durable linearizability. As case studies, we specify the FliT and Mirror libraries, verify their implementations over Px86, and use them to build higher-level durably linearizable libraries, all within our framework. We also specify and verify a persistent transaction library that highlights some of the technical challenges which are specific to persistent memory compared to weak memory and how they are handled by our framework." @default.
- W4379474650 created "2023-06-07" @default.
- W4379474650 creator A5015933495 @default.
- W4379474650 creator A5023359178 @default.
- W4379474650 creator A5083721882 @default.
- W4379474650 date "2023-06-02" @default.
- W4379474650 modified "2023-10-01" @default.
- W4379474650 title "Specifying and Verifying Persistent Libraries" @default.
- W4379474650 doi "https://doi.org/10.48550/arxiv.2306.01614" @default.
- W4379474650 hasPublicationYear "2023" @default.
- W4379474650 type Work @default.
- W4379474650 citedByCount "0" @default.
- W4379474650 crossrefType "posted-content" @default.
- W4379474650 hasAuthorship W4379474650A5015933495 @default.
- W4379474650 hasAuthorship W4379474650A5023359178 @default.
- W4379474650 hasAuthorship W4379474650A5083721882 @default.
- W4379474650 hasBestOaLocation W43794746501 @default.
- W4379474650 hasConcept C101468663 @default.
- W4379474650 hasConcept C121375916 @default.
- W4379474650 hasConcept C138885662 @default.
- W4379474650 hasConcept C154945302 @default.
- W4379474650 hasConcept C199360897 @default.
- W4379474650 hasConcept C20528329 @default.
- W4379474650 hasConcept C26713055 @default.
- W4379474650 hasConcept C2779808786 @default.
- W4379474650 hasConcept C41008148 @default.
- W4379474650 hasConcept C41895202 @default.
- W4379474650 hasConcept C55439883 @default.
- W4379474650 hasConceptScore W4379474650C101468663 @default.
- W4379474650 hasConceptScore W4379474650C121375916 @default.
- W4379474650 hasConceptScore W4379474650C138885662 @default.
- W4379474650 hasConceptScore W4379474650C154945302 @default.
- W4379474650 hasConceptScore W4379474650C199360897 @default.
- W4379474650 hasConceptScore W4379474650C20528329 @default.
- W4379474650 hasConceptScore W4379474650C26713055 @default.
- W4379474650 hasConceptScore W4379474650C2779808786 @default.
- W4379474650 hasConceptScore W4379474650C41008148 @default.
- W4379474650 hasConceptScore W4379474650C41895202 @default.
- W4379474650 hasConceptScore W4379474650C55439883 @default.
- W4379474650 hasLocation W43794746501 @default.
- W4379474650 hasOpenAccess W4379474650 @default.
- W4379474650 hasPrimaryLocation W43794746501 @default.
- W4379474650 hasRelatedWork W1522809628 @default.
- W4379474650 hasRelatedWork W1554764448 @default.
- W4379474650 hasRelatedWork W1984757784 @default.
- W4379474650 hasRelatedWork W1985198438 @default.
- W4379474650 hasRelatedWork W2083208363 @default.
- W4379474650 hasRelatedWork W2083338789 @default.
- W4379474650 hasRelatedWork W2950415228 @default.
- W4379474650 hasRelatedWork W4238823939 @default.
- W4379474650 hasRelatedWork W4301346958 @default.
- W4379474650 hasRelatedWork W4302368459 @default.
- W4379474650 isParatext "false" @default.
- W4379474650 isRetracted "false" @default.
- W4379474650 workType "article" @default.