Semantics and Verification of RDMA Programs
Guillaume Ambal, Imperial College
March 27, 2026, 2PM, SR1
Remote Direct Memory Access (RDMA) is a low-latency data-transfer technology used in high-performance computing and data centres. This talk will cover several recent formalisation results, ranging from the semantics of the technology to frameworks for verifying library implementations.