Instrumentation Optimization for Practical Dynamic Race Detection accepted at ATC

Instrumentation Optimization for Practical Dynamic Race Detection accepted to appear at ATC 2026.