Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366205983> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4366205983 abstract "Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution environment (the outside world). The unpredictability of such interactions paired with their decentralized nature make reasoning about the correctness of local-first software a challenging endeavor. Yet, existing solutions to develop local-first software do not provide support for automated safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. We propose LoRe, a programming model and compiler that automatically verifies developer-supplied safety properties for local-first applications. LoRe combines the declarative data flow of reactive programming with static analysis and verification techniques to precisely determine concurrent interactions that violate safety invariants and to selectively employ strong consistency through coordination where required. We propose a formalized proof principle and demonstrate how to automate the process in a prototype implementation that outputs verified executable code. Our evaluation shows that LoRe simplifies the development of safe local-first software when compared to state-of-the-art approaches and that verification times are acceptable." @default.
- W4366205983 created "2023-04-19" @default.
- W4366205983 creator A5003940523 @default.
- W4366205983 creator A5021611448 @default.
- W4366205983 creator A5035682481 @default.
- W4366205983 creator A5050660693 @default.
- W4366205983 creator A5078067853 @default.
- W4366205983 date "2023-04-14" @default.
- W4366205983 modified "2023-10-14" @default.
- W4366205983 title "LoRe: A Programming Model for Verifiably Safe Local-First Software" @default.
- W4366205983 doi "https://doi.org/10.48550/arxiv.2304.07133" @default.
- W4366205983 hasPublicationYear "2023" @default.
- W4366205983 type Work @default.
- W4366205983 citedByCount "0" @default.
- W4366205983 crossrefType "posted-content" @default.
- W4366205983 hasAuthorship W4366205983A5003940523 @default.
- W4366205983 hasAuthorship W4366205983A5021611448 @default.
- W4366205983 hasAuthorship W4366205983A5035682481 @default.
- W4366205983 hasAuthorship W4366205983A5050660693 @default.
- W4366205983 hasAuthorship W4366205983A5078067853 @default.
- W4366205983 hasBestOaLocation W43662059831 @default.
- W4366205983 hasConcept C115903868 @default.
- W4366205983 hasConcept C120314980 @default.
- W4366205983 hasConcept C154945302 @default.
- W4366205983 hasConcept C160145156 @default.
- W4366205983 hasConcept C169590947 @default.
- W4366205983 hasConcept C186846655 @default.
- W4366205983 hasConcept C199360897 @default.
- W4366205983 hasConcept C2776436953 @default.
- W4366205983 hasConcept C2777904410 @default.
- W4366205983 hasConcept C34422012 @default.
- W4366205983 hasConcept C37279795 @default.
- W4366205983 hasConcept C41008148 @default.
- W4366205983 hasConcept C529173508 @default.
- W4366205983 hasConcept C55439883 @default.
- W4366205983 hasConcept C76518257 @default.
- W4366205983 hasConcept C98045186 @default.
- W4366205983 hasConceptScore W4366205983C115903868 @default.
- W4366205983 hasConceptScore W4366205983C120314980 @default.
- W4366205983 hasConceptScore W4366205983C154945302 @default.
- W4366205983 hasConceptScore W4366205983C160145156 @default.
- W4366205983 hasConceptScore W4366205983C169590947 @default.
- W4366205983 hasConceptScore W4366205983C186846655 @default.
- W4366205983 hasConceptScore W4366205983C199360897 @default.
- W4366205983 hasConceptScore W4366205983C2776436953 @default.
- W4366205983 hasConceptScore W4366205983C2777904410 @default.
- W4366205983 hasConceptScore W4366205983C34422012 @default.
- W4366205983 hasConceptScore W4366205983C37279795 @default.
- W4366205983 hasConceptScore W4366205983C41008148 @default.
- W4366205983 hasConceptScore W4366205983C529173508 @default.
- W4366205983 hasConceptScore W4366205983C55439883 @default.
- W4366205983 hasConceptScore W4366205983C76518257 @default.
- W4366205983 hasConceptScore W4366205983C98045186 @default.
- W4366205983 hasLocation W43662059831 @default.
- W4366205983 hasOpenAccess W4366205983 @default.
- W4366205983 hasPrimaryLocation W43662059831 @default.
- W4366205983 hasRelatedWork W1480938817 @default.
- W4366205983 hasRelatedWork W2245390655 @default.
- W4366205983 hasRelatedWork W2271843438 @default.
- W4366205983 hasRelatedWork W2559332729 @default.
- W4366205983 hasRelatedWork W2797563685 @default.
- W4366205983 hasRelatedWork W2972093780 @default.
- W4366205983 hasRelatedWork W768804450 @default.
- W4366205983 hasRelatedWork W82270733 @default.
- W4366205983 hasRelatedWork W2126009364 @default.
- W4366205983 hasRelatedWork W2730883564 @default.
- W4366205983 isParatext "false" @default.
- W4366205983 isRetracted "false" @default.
- W4366205983 workType "article" @default.