LoRe: A Programming Model for Verifiably Safe Local-first Software. - Haas, Julian; Mogk, Ragnar; Yanakieva, Elena; Bieniusa, Annette; Mezini, Mira (ACM Transactions on Programming Languages & Systems, 2024)