Lore: A programming model for verifiably safe local-first software

J Haas, R Mogk, E Yanakieva, A Bieniusa… - ACM Transactions on …, 2024 - dl.acm.org
Local-first software manages and processes private data locally while still enabling
collaboration between multiple parties connected via partially unreliable networks. Such …

Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications

M Köhler, G Zakhour, P Weisenburger… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Local-first software embraces data replication as a means to achieve scalability and offline
availability. A crucial ingredient of local-first software are mergeable data types, like conflict …

[PDF][PDF] When Sequential Code Meets Replicated Data

K De Porre - 2022 - cris.vub.be
Many applications today run atop a geo-distributed system, that is, a system that replicates
data over several machines (called replicas) located at strategic positions around the globe …

[PDF][PDF] REPLICATED DATA TYPES FOR GRAPH DATABASES

LFR ALMAS - 2023 - run.unl.pt
Nowadays graph databases have seen an increase in popularity in applications with highly
interconnected data like networks such as social networks, biological, or transportation …

[PDF][PDF] VERIFYING AND ENFORCING APPLICATION CONSTRAINTS IN ANTIDOTE SQL

DDOSS BORREGO - 2022 - run.unl.pt
Geo-replicated storage systems are currently a fundamental piece in the development of
large-scale applications where users are distributed across the world. To meet the high …

[PDF][PDF] Coinductive Reasoning about CRDT Emulation

N Liittschwager, S Tsampas, J Castello, L Kuper - coalg.org
Conflict-free replicated data types (CRDTs) are distributed 6 data structures designed for
fault tolerance and high availability. CRDTs 7 have historically been taxonomized into …

[PDF][PDF] Automatically Verifying Replication-aware Linearizability

V SOUNDARAPANDIAN, K NAGAR, A RASTOGI… - kcsrk.info
VIMALA SOUNDARAPANDIAN, IIT Madras, India KARTIK NAGAR, IIT Madras, India ASEEM
RASTOGI, Microsoft Research, India KC SIVARAMAKRISHNAN, IIT Madras and Tarides …

Verifying and Enforcing Application Constraints in Antidote SQL

D dos Santos Borrego - 2022 - search.proquest.com
Geo-replicated storage systems are currently a fundamental piece in the development of
large-scale applications where users are distributed across the world. To meet the high …