1

Consistent and Secure Network Updates Made Practical
Cite DOI URL
Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining
Cite DOI URL
PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications
Cite DOI URL
RoCC: Robust Congestion Control for RDMA
Cite DOI URL
GRASS: Generic Reactive Application-specific Scheduling
Cite DOI URL
A Cryptographic Look at Multi-party Channels
Cite DOI URL
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Cite DOI URL
Boosting Scalable Data Analytics with Modern Programmable Networks
Cite DOI URL
Co-Design and Verification of an Available File System
Cite DOI URL
A Programmable Buffer Management Platform
Cite DOI URL