research
∙
06/02/2023
Specifying and Verifying Persistent Libraries
We present a general framework for specifying and verifying persistent l...
share
research
∙
11/14/2022
The Path to Durable Linearizability
There is an increasing body of literature proposing new and efficient pe...
research
∙
01/15/2022
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)
The rise of persistent memory is disrupting computing to its core. Our w...
research
∙
01/29/2019
Data Consistency in Transactional Storage Systems: a Centralised Approach
Modern distributed databases weaken data consistency guarantees to allow...
research
∙
05/16/2018