32 citations · 49 across the 11 of their papers we have counts for
7 papers · 1 filter
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…
Ensuring referential integrity under causal consistency
Marc Shapiro, Annette Bieniusa, Peter Zeller +1
Referential integrity (RI) is an important correctness property of a shared, distributed object storage system. It is sometimes thought that enforcing RI requires a strong form of…
Just-Right Consistency: reconciling availability and safety
Marc Shapiro, Annette Bieniusa, Nuno Preguiça +2
By the CAP Theorem, a distributed data storage system can ensure either Consistency under Partition (CP) or Availability under Partition (AP), but not both. This has led to a split…
Techreport: Time-sensitive probabilistic inference for the edge
Christian Weilbach, Annette Bieniusa
In recent years the two trends of edge computing and artificial intelligence became both crucial for information processing infrastructures. While the centralized analysis of massi…
Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo +3
Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models f…
Global-Local View: Scalable Consistency for Concurrent Data Types
Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa +1
Concurrent linearizable access to shared objects can be prohibitively expensive in a high contention workload. Many applications apply ad-hoc techniques to eliminate the need of sy…