Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138634686> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2138634686 endingPage "20" @default.
- W2138634686 startingPage "20" @default.
- W2138634686 abstract "Applications are deployed upon deep, diverse storage stacks that are constructed on-demand. Although many storage stacks share a common API to allow portability, application behavior differs in subtle ways depending upon unspecified properties of the underlying storage stack. Currently, there is no way to test whether an application will behave correctly on a given storage stack: corruption or data loss could occur at any point in the application lifetime.We argue that we require an expressive language for specifying the complex storage guarantees required by different applications. The same language can be used to write a high-level specification capturing the design of different storage-stack layers. Given the required guarantees, and the storage-stack specifications, we can prove that stacks constructed dynamically (by composing different storage-stack layers) provide the guarantees required by the application." @default.
- W2138634686 created "2016-06-24" @default.
- W2138634686 creator A5010361101 @default.
- W2138634686 creator A5023470556 @default.
- W2138634686 creator A5035064257 @default.
- W2138634686 creator A5050593520 @default.
- W2138634686 creator A5054754320 @default.
- W2138634686 creator A5054877673 @default.
- W2138634686 date "2015-05-18" @default.
- W2138634686 modified "2023-09-23" @default.
- W2138634686 title "Beyond storage APIs: provable semantics for storage stacks" @default.
- W2138634686 cites W1412006679 @default.
- W2138634686 cites W1423003888 @default.
- W2138634686 cites W1434079718 @default.
- W2138634686 cites W1436965661 @default.
- W2138634686 cites W1480909796 @default.
- W2138634686 cites W1766647772 @default.
- W2138634686 cites W1819247800 @default.
- W2138634686 cites W1852929912 @default.
- W2138634686 cites W1970606468 @default.
- W2138634686 cites W201983520 @default.
- W2138634686 cites W2030689875 @default.
- W2138634686 cites W2078069481 @default.
- W2138634686 cites W2106192381 @default.
- W2138634686 cites W2136310957 @default.
- W2138634686 cites W2138433591 @default.
- W2138634686 cites W2146077028 @default.
- W2138634686 cites W2585220027 @default.
- W2138634686 cites W2618644177 @default.
- W2138634686 hasPublicationYear "2015" @default.
- W2138634686 type Work @default.
- W2138634686 sameAs 2138634686 @default.
- W2138634686 citedByCount "5" @default.
- W2138634686 countsByYear W21386346862015 @default.
- W2138634686 countsByYear W21386346862016 @default.
- W2138634686 countsByYear W21386346862017 @default.
- W2138634686 crossrefType "proceedings-article" @default.
- W2138634686 hasAuthorship W2138634686A5010361101 @default.
- W2138634686 hasAuthorship W2138634686A5023470556 @default.
- W2138634686 hasAuthorship W2138634686A5035064257 @default.
- W2138634686 hasAuthorship W2138634686A5050593520 @default.
- W2138634686 hasAuthorship W2138634686A5054754320 @default.
- W2138634686 hasAuthorship W2138634686A5054877673 @default.
- W2138634686 hasConcept C111919701 @default.
- W2138634686 hasConcept C121375916 @default.
- W2138634686 hasConcept C121838778 @default.
- W2138634686 hasConcept C154945302 @default.
- W2138634686 hasConcept C184337299 @default.
- W2138634686 hasConcept C194739806 @default.
- W2138634686 hasConcept C199360897 @default.
- W2138634686 hasConcept C2779659223 @default.
- W2138634686 hasConcept C2984984529 @default.
- W2138634686 hasConcept C3102742 @default.
- W2138634686 hasConcept C41008148 @default.
- W2138634686 hasConcept C63000827 @default.
- W2138634686 hasConcept C8965099 @default.
- W2138634686 hasConcept C9395851 @default.
- W2138634686 hasConceptScore W2138634686C111919701 @default.
- W2138634686 hasConceptScore W2138634686C121375916 @default.
- W2138634686 hasConceptScore W2138634686C121838778 @default.
- W2138634686 hasConceptScore W2138634686C154945302 @default.
- W2138634686 hasConceptScore W2138634686C184337299 @default.
- W2138634686 hasConceptScore W2138634686C194739806 @default.
- W2138634686 hasConceptScore W2138634686C199360897 @default.
- W2138634686 hasConceptScore W2138634686C2779659223 @default.
- W2138634686 hasConceptScore W2138634686C2984984529 @default.
- W2138634686 hasConceptScore W2138634686C3102742 @default.
- W2138634686 hasConceptScore W2138634686C41008148 @default.
- W2138634686 hasConceptScore W2138634686C63000827 @default.
- W2138634686 hasConceptScore W2138634686C8965099 @default.
- W2138634686 hasConceptScore W2138634686C9395851 @default.
- W2138634686 hasLocation W21386346861 @default.
- W2138634686 hasOpenAccess W2138634686 @default.
- W2138634686 hasPrimaryLocation W21386346861 @default.
- W2138634686 hasRelatedWork W1412006679 @default.
- W2138634686 hasRelatedWork W1423003888 @default.
- W2138634686 hasRelatedWork W1475719308 @default.
- W2138634686 hasRelatedWork W1500374915 @default.
- W2138634686 hasRelatedWork W1607828542 @default.
- W2138634686 hasRelatedWork W1853172962 @default.
- W2138634686 hasRelatedWork W2154374619 @default.
- W2138634686 hasRelatedWork W2197666703 @default.
- W2138634686 hasRelatedWork W2293216165 @default.
- W2138634686 hasRelatedWork W2293520213 @default.
- W2138634686 hasRelatedWork W2411225672 @default.
- W2138634686 hasRelatedWork W2412976325 @default.
- W2138634686 hasRelatedWork W2760603828 @default.
- W2138634686 hasRelatedWork W2914559544 @default.
- W2138634686 hasRelatedWork W2996136782 @default.
- W2138634686 hasRelatedWork W3022933992 @default.
- W2138634686 hasRelatedWork W3081520195 @default.
- W2138634686 hasRelatedWork W3106909971 @default.
- W2138634686 hasRelatedWork W2197229430 @default.
- W2138634686 hasRelatedWork W2417459054 @default.
- W2138634686 isParatext "false" @default.
- W2138634686 isRetracted "false" @default.
- W2138634686 magId "2138634686" @default.
- W2138634686 workType "article" @default.