32 citations · 67 across the 19 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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.DB2026
CobbleDB: Modelling Levelled Storage by Composition
Emilie Ma, Ayush Pandey, Annette Bieniusa +1
We present a composition-based approach to building correctby-construction database backing stores. In previous work, we specified the behaviour of several store variants and prove…