Stramash: A Fused-Kernel Operating System For Cache-Coherent, Heterogeneous-ISA Platforms. - Tong Xing; Cong Xiong; Tianrui Wei; April Sanchez; Binoy Ravindran; Jonathan Balkind; Antonio Barbalace (ASPLOS (2), 2025)