TY  - RPRT
TI  - Proving Highly-Concurrent Traversals Correct
AU  - Yotam M. Y. Feldman
AU  - Artem Khyzha
AU  - Constantin Enea
AU  - Adam Morrison
AU  - Aleksandar Nanevski
AU  - Noam Rinetzky
AU  - Sharon Shoham
PY  - 2024
DO  - 10.1145/3428196
UR  - https://arxiv.org/abs/2010.00911
ID  - 2010.00911
ER  -