RaceFixer - An Automated Data Race Fixer. - Sanjay Malakar; Tameem Bin Haider; Rifat Shahriar (CoRR, 2024)