S. Jakšić, D. Li, K. I. Pun, and V. Stolz, “Stream-based dynamic data race detection”, NIKT, Aug. 2018.