TY  - RPRT
TI  - Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)
AU  - Martin Sulzmann
AU  - Kai Stadtmüller
PY  - 2022
UR  - https://arxiv.org/abs/2004.06969
ID  - 2004.06969
ER  -