Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)

Martin Sulzmann, Kai Stadtmüller

Dynamic data race prediction aims to identify races based on a single program run represented by a trace. The challenge is to remain efficient while being as sound and as complete…