The paper “Tracking in Order to Recover – Detectable Recovery of Lock-Free Data Structures”, by Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, and Eleftherios Kosmas, appeared as brief announcement in SPAA 2020.
Long version on arxiv.