Invited talk at SRDS 2021

My keynote at SRDS 2021 on “Preserving hyperproperties when using concurrent objects” is on Youtube.

This entry was posted in Uncategorized by Hagit Attiya. Bookmark the permalink.

Two papers about the use of linearizable objects in randomized concurrent algorithms 11/05/2022
“Detectable Recovery of Lock-Free Data Structures” in PPoPP 2022 05/03/2022
Lock-freedom vs. Wait-freedom paper published in JPDC 15/02/2022
Collect w/ Churn paper appeared in I&C special issue of SSS2020 03/02/2022
Paper on Recoverable F&A in OPODIS 2021 21/12/2021
Paper on NVRAM in HPC is accepted to FTXS 04/10/2021
Invited talk at SRDS 2021 20/09/2021