3 citations · 14 across the 23 of their papers we have counts for
3 papers · 1 filter
Privatization-Safe Transactional Memories (Extended Version)
Artem Khyzha, Hagit Attiya, Alexey Gotsman
Transactional memory (TM) facilitates the development of concurrent applications by letting the programmer designate certain code blocks as atomic. Programmers using a TM often wou…
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects
Hagit Attiya, Constantin Enea
It has been observed that linearizability, the prevalent consistency condition for implementing concurrent objects, does not preserve some probability distributions. A stronger con…
Tracking in Order to Recover: Detectable Recovery of Lock-Free Data Structures
Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou +2
This paper presents the tracking approach for deriving detectably recoverable (and thus also durable) implementations of many widely-used concurrent data structures. Such data stru…