CaRDS: Compiler-aided Remote Data Structures. - Brian R. Tauro; Ian Dougherty; Kyle C. Hale (SC Workshops, 2025)