researchers with a paper here
collaborating institutions
Showing cs.DBShow all

1 paper · 1 filter

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…