Detectable recovery of lock-free data structures.

Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas

Browse the full PPoPP paper archive.