RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. - Ming Yuan 003; Yeseop Lee; Chao Zhang 008; Yun Li 010; Yan Cai 001; Bodong Zhao (ISSTA, 2021)