@misc{indiciae5e2ecdf7254b,
  title = {Cross-thread critical sections and efficient dynamic race prediction methods},
  author = {Martin Sulzmann and Peter Thiemann},
  year = {2023},
  url = {https://arxiv.org/abs/2307.09855},
  note = {Source identifier: 2307.09855}
}