Publications (33)
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett +2
We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus…
Algorithms for Encoding and Decoding 3D Hilbert Orderings
David Walker
This paper presents algorithms and pseudocode for encoding and decoding 3D Hilbert orderings.
Contra: A Programmable System for Performance-aware Routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen +3
We present Contra, a system for performance-aware routing that can adapt to traffic changes at hardware speeds. While existing work has developed point solutions for performance-aw…
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…
Pseudosymmetry in Tetragonal Perovskite SrIrO Synthesized under High Pressure
Haozhe Wang, Alberto de la Torre, Joseph T. Race +6
In this study, we report a tetragonal perovskite structure of SrIrO (P4/mmm, a = 3.9362(9) Ã , c = 7.880(3) Ã ) synthesized at 6 GPa and 1400 C, employing the ambient press…
CB-VER: A Stable Foundation for Modular Control Plane Verification
Dexin Zhang, Timothy Alberdingk Thijm, David Walker +1
Network operators are often interested in verifying \emph{eventually-stable properties} of network control planes: properties of control plane states that hold eventually, and hold…