AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Learn about Network Decision Diagram (NDD), a novel data structure designed specifically for network verification that addresses the limitations of traditional Binary Decision Diagrams (BDD) in this 15-minute conference talk from NSDI '25. Discover how researchers from Xi'an Jiaotong University and Google developed NDD as a specialized decision diagram that wraps BDD with an additional layer, where each node represents a network field and edges are labeled with BDDs encoding field values. Explore the technical innovations that enable NDD to provide native support for equivalence classes while achieving significant improvements in memory efficiency and computational performance. Examine the practical implementation of the NDD library and understand how it serves as a drop-in replacement for BDD in existing network verifiers, demonstrated through the re-implementation of five BDD-based verifiers with minimal code modifications. Analyze the impressive performance results showing 100× reduction in memory cost and 100× speedup compared to traditional BDD approaches. Gain insights into how this Outstanding Paper award winner addresses scalability issues in network verification when dealing with network states containing numerous bits, and understand the implications for the future of network verification tools and methodologies.
