IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems - Xin, G.; Xu, G.; Zhang, Y.; Wen, C.; Zhang, C.; Xie, X.; Xiong, N.N.; Liu, S.; Gao, P. (IEEE Transactions on Parallel and Distributed Systems, Parallel and Distributed Systems, IEEE Transactions on, IEEE Trans. Parallel Distrib. Syst., 2025)