Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software. - Matthew Davis; Aakash Kulkarni; Ziyan Chen; Yunhan Qiao; Christopher Terrazas; Manish Motwani (CoRR, 2025)