An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection. - Ravishka Rathnasuriya; Nidhi Majoju; Zihe Song; Wei Yang 013 (Proc. ACM Softw. Eng., 2025)