32 citations · 49 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
Models for Storage in Database Backends
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa +3
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system…
Antidote SQL: Relaxed When Possible, Strict When Necessary
Pedro Lopes, João Sousa, Valter Balegas +5
Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing c…
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases
Mathias Weber, Annette Bieniusa
Scalable and highly available systems often require data stores that offer weaker consistency guarantees than traditional relational databases systems. The correctness of these app…