Instrumentation Optimization for Practical Dynamic Race Detection Alexey Paznikov, Michael Schwarz, Andrey Kogutenko, Yaroslav Osipov, Umang Mathur ATC 2026 Concurrency Testing and Verification Download BibTeX