2 papers
cs.PL2025
A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
Guillaume Ambal, George Hodgkins, Mark Madler +5
Remote Direct Memory Access (RDMA) is a memory technology that allows remote devices to directly write to and read from each other's memory, bypassing components such as the CPU an…
cs.DC2025
LOCO: Rethinking Objects for Network Memory
George Hodgkins, Mark Madler, Joseph Izraelevitz
In this work, we explore an object-based programming model for filling the space between shared memory and distributed systems programming. We argue that the natural representation…