2 papers
cs.DC2026
A Datalog Framework for Conflict-Free Replicated Data Types
Elena Yanakieva, Annette Bieniusa, Stefania Dumbrava
Distributed applications increasingly support local-first collaboration over shared data, allowing multiple users to perform updates concurrently without global coordination. Such…
cs.PL2023
LoRe: A Programming Model for Verifiably Safe Local-First Software
Julian Haas, Ragnar Mogk, Elena Yanakieva +2
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such softwa…