Linked Presentation: Characterizing Off-path SmartNIC for Accelerating Distributed SystemsAutomated Verification of Idempotence for Stateful Serverless ApplicationsNo Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing
