@misc{indiciaedbbc0fd6b0da, title = {Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)}, author = {Martin Sulzmann and Kai Stadtmüller}, year = {2022}, url = {https://arxiv.org/abs/2004.06969}, note = {Source identifier: 2004.06969} }