4 citations · 11 across the 11 of their papers we have counts for
Showing cs.NIShow all
3 papers · 1 filter
cs.NI2025
Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures
Changrong Wu, Yiyao Yu, Myungjin Lee +4
Fast diagnosis and repair of enterprise network failures is critically important since disruptions cause major business impacts. Prior works focused on diagnosis primitives or proc…
cs.NI2024
Accelerating Stateful Network Applications with Performance Prediction on SoC SmartNICs
Shaoke Xi, Jiaqi Gao, Mengqi Liu +7
Offloading stateful network functions to multi-threaded SoC SmartNICs promises significant performance and cost benefits. However, realizing this potential is hindered by two funda…
cs.NI2024
Relational Network Verification
Xieyang Xu, Yifei Yuan, Zachary Kincaid +4
Relational network verification is a new approach to validating network changes. In contrast to traditional network verification, which analyzes specifications for a single network…