Projects
Fast, fair, and efficient execution of multiple analytics at scale
Analytics in the face of data geo-distribution and extreme compute volatility
Enabling data-driven computation
Fair and efficient GPU cluster scheduling for machine learning workloads
Network-accelerated distributed machine learning
Accelerating deep learning inference
Detecting network load violations for distributed control planes
Fast and general network verification
Fast verification for liveness properties in stateful networks
Automated verification of customizable middlebox properties
Fast network control plane analysis using an abstract representation
Network policy-guided control plane repair
Synthesizing policy-compliant data and control planes for multi-tenant networks.
Smart NIC design and implementation
Flexible and Efficient NIC Packet Scheduling
RDMA over Generic Unconverged Ethernet
Unifying Host and Smart NIC Offload for Flexible Packet Processing
Ensuring CPU isolation in container environments
Enabling fair packet scheduling for commodity multiqueue NICs
Edge-based Load Balancing for Fast Datacenter Networks
Virtual Congestion Control Enforcement for Datacenter Networks
Towards ultra low latency scheduling in serverless settings
Ensuring isolation in the era of microservices
A serverless platform for running network functions
State management for distributed network functions
Correctness and Performance for Stateful Chained Network Functions
Optimizing VNF / VNF chain placment in shared infrastructure
An integrated architecuture for online content delivery
Expressing and configuring Intent-based Policies
Management Plane Analytics
Policy-driven optimization of P4 pipeline