Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs. - Vivek Kale; Hanru Yan; Shyamali Mukherjee; Jackson R. Mayo; Keita Teranishi; Richard Rutledge; Alessandro Orso (SC Workshops, 2024)