← Back to papers
2015 NSDI NSDI 2015

Checking Beliefs in Dynamic Networks

Authors

Nuno P. Lopes , Nikolaj Bjørner , Patrice Godefroid , Karthick Jayaraman , George Varghese

Related papers

CoVisor: A Compositional Hypervisor for Software-Defined Networks 2015
ModNet: A Modular Approach to Network Stack Extension 2015
Attaining the Promise and Avoiding the Pitfalls of TCP in the Datacenter 2015
CosTLO: Cost-Effective Redundancy for Lower Latency Variance on Cloud Storage Services 2015
FlexRadio: Fully Flexible Radios and Networks 2015