Lightweight Automated Reasoning for Network Architectures
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.
Authors
- Ahmed Saeed (ORCID: https://orcid.org/0000-0003-0498-0854)
- P. Brighten Godfrey (ORCID: https://orcid.org/0009-0003-2930-1982)
- Rahul Bothra (ORCID: https://orcid.org/0000-0001-5071-902X)
- Akshay Narayan (ORCID: https://orcid.org/0000-0002-6626-141X)
- Venkat Arun (ORCID: https://orcid.org/0000-0003-2192-1469)
Institutions
- Broadcom (Israel) (IL)
- Georgia Institute of Technology (US)
- John Brown University (US)
- International University of the Caribbean (JM)
- The University of Texas at Austin (US)
Publication Details
- Published
- 2024-11-11
- DOI
- https://doi.org/10.1145/3696348.3696865
- Citations
- 1
- Primary Topic
- Software-Defined Networks and 5G
- Type
- article
- Field-Weighted Citation Impact
- 0.35