55 citations · 128 across the 19 of their papers we have counts for
1 paper · 2 filters
Artem Khyzha, Ori Lahav
We study abstraction for crash-resilient concurrent objects using non-volatile memory (NVM). We develop a library correctness criterion that is sound for ensuring contextual refine…