Network verification, synthesis, and repair tools help enforce high-level operational intent, but their limited explainability makes configuration maintenance costly in practice, as operators must still manually reason about large, low-level configurations. We propose localized subspecifications, which explain how indi...
Yongzheng Zhang, Yaxuan Lin, Hao-Xian Chen et al.· Conference on Applications,...· 0 citations
Nüwa is presented, which views routing as a compilation problem, it leverages the hierarchical and symmetric structure common in AI fabrics and compiles a declarative topology description together with routing policies into compact forwarding artifacts that are fast to generate and efficient to look up.
Wenkai Li, Ran Shu, Peng Zhang et al.· Conference on Applications,...· 0 citations
Quanta is presented, a redundancy-aware simulation framework that eliminates repeated execution in packet-level simulation and reduces the dependence of simulation cost on physical network scale.
Jiajun Luan, Hao Li, Yihan Dang et al.· Asia-Pacific Workshop on Net...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
