Work

Lightweight Automated Reasoning for Network Architectures

Year: 2024

Type: conference-paper

Abstract: Architecting a modern data center network is increasingly complicated. Seeking the highest performance and support for emerging workloads, network architects planning a buildout must choose from a large selection of switching components, NICs, network stacks, congestion control algorithms, routing schemes, measurement systems, virtualization software, centralized bandwidth allocators and security mechanisms, all from various vendors. Today, manual planning by human experts is time-consuming at best, and can easily result in overlooked design choices or missed complex inter-dependencies.

Source: ACM Workshop on Hot Topics in Networks (HotNets)

DOI: 10.1145/3696348.3696865

Authors: Rahul Bothra, Venkat Arun, Brighten Godfrey, Akshay Narayan, Ahmed Saeed

Institutions: University of Illinois Urbana-Champaign, The University of Texas at Austin, Brown University, Georgia Institute of Technology

Language: English

Topic: Software-Defined Networks and 5G

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: hybrid

OpenAlex ID: W4404240606

FWCI: 0.887

Cites: 22

Cited by: 2

Related to: 10