work FORMULA an FPGA-based AI RNIC for large-scale AI clusters RoCEv2 driver host driver stack and validation for an in-house RoCEv2 IP MLPerf Storage DPU-accelerated NVMe/TCP storage for AI training RackMem remote memory for virtualized environments Live migration modeling a machine learning approach to VM live migration modeling VM checkpoint & restore fast, space-efficient VM state management