TY  - RPRT
TI  - Cross-thread critical sections and efficient dynamic race prediction methods
AU  - Martin Sulzmann
AU  - Peter Thiemann
PY  - 2023
UR  - https://arxiv.org/abs/2307.09855
ID  - 2307.09855
ER  -