TY  - RPRT
TI  - Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
AU  - Michael Schwarz
AU  - Julian Erhard
PY  - 2025
UR  - https://arxiv.org/abs/2511.11055
ID  - 2511.11055
ER  -