2 citations · 10 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 2 cited
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version)
Azalea Raad, Ori Lahav, John Wickerson +2
Software Transactional Memory (STM) is an extensively studied paradigm that provides an easy-to-use mechanism for thread safety and concurrency control. With the recent advent of b…
cs.PL2023★ 2 cited
Specifying and Verifying Persistent Libraries
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…