Warrior1: A Performance Sanitizer for C++. - Nadav Rotem; Lee Howes; David Goldblatt (CoRR, 2020)