2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
We present a general framework for specifying and verifying persistent libraries, that is, libraries of data structures that provide some persistency guarantees upon a failure of t…