Showing cs.NIShow all
2 papers · 1 filter
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…
cs.NI2024
Automated Optimization of Parameterized Data-Plane Programs with Parasol
Mary Hogan, Devon Loehr, John Sonchack +3
Programmable data planes allow for sophisticated applications that give operators the power to customize the functionality of their networks. Deploying these applications, however,…