4 papers
Network Analysis with Parametric NetKAT
Han Xu, Zachary Kincaid, David Walker
Network engineers often need to perform network diagnosis and inference tasks, which frequently require answers to enumeration questions such as "Which packets from the Internet ar…
Kleene Algebra with Transitive Commutativity Conditions
Han Xu, Chenyu Zhou, Zachary Kincaid +1
Kleene algebra (KA) provides a foundational algebraic framework for reasoning about program structure and control flow. To capture equivalences arising from reordering or independe…
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…
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,…