Data Race Satisfiability on Array Elements. - Junhyung Shim; Quazi Ishtiaque Mahmud; Ali Jannesari (CoRR, 2025)