23 citations · 23 across the 2 of their papers we have counts for
3 papers
Regular Sequential Serializability and Regular Sequential Consistency
Jeffrey Helt, Matthew Burke, Amit Levy +1
Strictly serializable (linearizable) services appear to execute transactions (operations) sequentially, in an order consistent with real time. This restricts a transaction's (opera…
Basil: Breaking up BFT with ACID (transactions)
Florian Suri-Payer, Matthew Burke, Zheng Wang +3
This paper presents Basil, the first transactional, leaderless Byzantine Fault Tolerant key-value store. Basil leverages ACID transactions to scalably implement the abstraction of…
Obladi: Oblivious Serializable Transactions in the Cloud
Natacha Crooks, Matthew Burke, Ethan Cecchetti +3
This paper presents the design and implementation of Obladi, the first system to provide ACID transactions while also hiding access patterns. Obladi uses as its building block obli…