Jakšić, S.; Li, D.; Pun, K. I.; Stolz, V. Stream-Based Dynamic Data Race Detection. NIKT 2018.