[HTML][HTML] Hybrid SDN evolution: A comprehensive survey of the state-of-the-art

S Khorsandroo, AG Sánchez, AS Tosun, JM Arco… - Computer Networks, 2021‏ - Elsevier
Abstract Software-Defined Networking (SDN) is an evolutionary networking paradigm which
has been adopted by large network and cloud providers, among which are Tech Giants …

Network planning with deep reinforcement learning

H Zhu, V Gupta, SS Ahuja, Y Tian, Y Zhang… - Proceedings of the 2021 …, 2021‏ - dl.acm.org
Network planning is critical to the performance, reliability and cost of web services. This
problem is typically formulated as an Integer Linear Programming (ILP) problem. Today's …

Lyra: A cross-platform language and compiler for data plane programming on heterogeneous asics

J Gao, E Zhai, HH Liu, R Miao, Y Zhou, B Tian… - Proceedings of the …, 2020‏ - dl.acm.org
Programmable data plane has been moving towards deployments in data centers as
mainstream vendors of switching ASICs enable programmability in their newly launched …

MimicNet: Fast performance estimates for data center networks with machine learning

Q Zhang, KKW Ng, C Kazer, S Yan, J Sedoc… - Proceedings of the 2021 …, 2021‏ - dl.acm.org
At-scale evaluation of new data center network innovations is becoming increasingly
intractable. This is true for testbeds, where few, if any, can afford a dedicated, full-scale …

Plankton: Scalable network configuration verification through model checking

S Prabhu, KY Chou, A Kheradmand, B Godfrey… - … USENIX Symposium on …, 2020‏ - usenix.org
Network configuration verification enables operators to ensure that the network will behave
as intended, prior to deployment of their configurations. Although techniques ranging from …

Debugging P4 programs with Vera

R Stoenescu, D Dumitrescu, M Popovici… - Proceedings of the …, 2018‏ - dl.acm.org
We present Vera, a tool that verifies P4 programs using symbolic execution. Vera
automatically uncovers a number of common bugs including parsing/deparsing errors …

Lessons from the evolution of the Batfish configuration analysis tool

M Brown, A Fogel, D Halperin, V Heorhiadi… - Proceedings of the …, 2023‏ - dl.acm.org
Batfish is a tool to analyze network configurations and forwarding. It has evolved from a
research prototype to an industrial-strength product, guided by scalability, fidelity, and …

A large scale study of data center network reliability

J Meza, T Xu, K Veeraraghavan, O Mutlu - Proceedings of the Internet …, 2018‏ - dl.acm.org
The ability to tolerate, remediate, and recover from network incidents (caused by device
failures and fiber cuts, for example) is critical for building and operating highly-available web …

Decentralized cloud wide-area network traffic engineering with {BLASTSHIELD}

U Krishnaswamy, R Singh, N Bjørner… - 19th USENIX Symposium …, 2022‏ - usenix.org
Cloud networks are increasingly managed by centralized software defined controllers.
Centralized traffic engineering controllers achieve higher network throughput than …

Slim:{OS} kernel support for a {Low-Overhead} container overlay network

D Zhuo, K Zhang, Y Zhu, HH Liu, M Rockett… - … USENIX Symposium on …, 2019‏ - usenix.org
Containers have become the de facto method for hosting large-scale distributed
applications. Container overlay networks are essential to providing portability for containers …