@misc{indiciae6d8dc013d120,
  title = {Proving Highly-Concurrent Traversals Correct},
  author = {Yotam M. Y. Feldman and Artem Khyzha and Constantin Enea and Adam Morrison and Aleksandar Nanevski and Noam Rinetzky and Sharon Shoham},
  year = {2024},
  doi = {10.1145/3428196},
  url = {https://arxiv.org/abs/2010.00911},
  note = {Source identifier: 2010.00911}
}