NDD: A Decision Diagram for Network Verification

NSDI '25 - PRED: Performance-oriented Random Early Detection for Consistently Stable Performance...

NSDI '25 - Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive...

NSDI '25 - Quicksand: Harnessing Stranded Datacenter Resources with Granular Computing

NSDI '25 - Learnings from Deploying Network QoS Alignment to Application Priorities for Storage...

NSDI '25 - Enabling Portable and High-Performance SmartNIC Programs with Alkali

NSDI '25 - DISC: Backpressure Mitigation In Multi-tier Applications With Distributed Shared...

NSDI '25 - Unlocking ECMP Programmability for Precise Traffic Control

NSDI '25 - Beehive: A Scalable Disaggregated Memory Runtime Exploiting Asynchrony of Multithreaded..

NSDI '25 - GRANNY: Granular Management of Compute-Intensive Applications in the Cloud

NSDI '25 - Enabling Silent Telemetry Data Transmission with InvisiFlow

NSDI '25 - Scaling IP Lookup to Large Databases using the CRAM Lens

NSDI '25 - Making Serverless Pay-For-Use a Reality with Leopard

NSDI '25 - eTran: Extensible Kernel Transport with eBPF

NSDI '25 - One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern...

NSDI '25 - Preventing Network Bottlenecks: Accelerating Datacenter Services with Hotspot-Aware...

NSDI '25 - Smart Casual Verification of the Confidential Consortium Framework

NSDI '25 - On Temporal Verification of Stateful P4 Programs

NSDI '25 - Pyrrha: Congestion-Root-Based Flow Control to Eliminate Head-of-Line Blocking in...

NSDI '25 - MeshTest: End-to-End Testing for Service Mesh Traffic Management

NSDI '25 - Enhancing Network Failure Mitigation with Performance-Aware Ranking

NSDI '25 - White-Boxing RDMA with Packet-Granular Software Control

NSDI '25 - VEP: A Two-stage Verification Toolchain for Full eBPF Programmability

NSDI '25 - SIRD: A Sender-Informed, Receiver-Driven Datacenter Transport Protocol

NSDI '25 - Accelerating Design Space Exploration for LLM Training Systems with Multi-experiment...

NSDI '25 - ByteCheckpoint: A Unified Checkpointing System for Large Foundation Model Development

NSDI '25 - Mowgli: Passively Learned Rate Control for Real-Time Video

NSDI '25 - Minder: Faulty Machine Detection for Large-scale Distributed Model Training

NSDI '25 - Holmes: Localizing Irregularities in LLM Training with Mega-scale GPU Clusters

NSDI '25 - Region-based Content Enhancement for Efficient Video Analytics at the Edge