Boki: Stateful Serverless Computing with Shared Logs (slides) (video) (code)
LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism (slides) (video)
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data