The cost of a cloud: research problems in data center networks

A Greenberg, J Hamilton, DA Maltz… - ACM SIGCOMM computer …, 2008 - dl.acm.org
The data centers used to create cloud services represent a significant investment in capital
outlay and ongoing costs. Accordingly, we first examine the costs of cloud service data …

Systems approaches to tackling configuration errors: A survey

T Xu, Y Zhou - ACM Computing Surveys (CSUR), 2015 - dl.acm.org
In recent years, configuration errors (ie, misconfigurations) have become one of the
dominant causes of system failures, resulting in many severe service outages and …

Robotron: Top-down network management at facebook scale

YWE Sung, X Tie, SHY Wong, H Zeng - Proceedings of the 2016 ACM …, 2016 - dl.acm.org
Network management facilitates a healthy and sustainable network. However, its practice is
not well understood outside the network engineering community. In this paper, we present …

Network-wide configuration synthesis

A El-Hassany, P Tsankov, L Vanbever… - … Aided Verification: 29th …, 2017 - Springer
Computer networks are hard to manage. Given a set of high-level requirements (eg,
reachability, security), operators have to manually figure out the individual configuration of …

Towards systematic design of enterprise networks

YWE Sung, SG Rao, GG **e, DA Maltz - Proceedings of the 2008 ACM …, 2008 - dl.acm.org
Enterprise networks are important, with size and complexity even surpassing carrier
networks. Yet, the design of enterprise networks is ad-hoc and poorly understood. In this …

Netgraph: An intelligent operated digital twin platform for data center networks

H Hong, Q Wu, F Dong, W Song, R Sun, T Han… - Proceedings of the …, 2021 - dl.acm.org
This paper presents a digital twin platform towards automatic and intelligent management for
data center networks: NetGraph. It builds a virtual image of the physical network, which …

Automated reasoning and detection of specious configuration in large systems with symbolic execution

Y Hu, G Huang, P Huang - 14th USENIX Symposium on Operating …, 2020 - usenix.org
Misconfiguration is a major cause of system failures. Prior solutions focus on detecting
invalid settings that are introduced by user mistakes. But another type of misconfiguration …

Synthesizing configuration file specifications with association rule learning

M Santolucito, E Zhai, R Dhodapkar, A Shim… - Proceedings of the …, 2017 - dl.acm.org
System failures resulting from configuration errors are one of the major reasons for the
compromised reliability of today's software systems. Although many techniques have been …

A review of scientific research in defensive cyberspace operation tools and technologies

PL Goethals, ME Hunt - Journal of Cyber Security Technology, 2019 - Taylor & Francis
The realm of cybersecurity is perhaps one of the most quickly evolving areas within today's
research space. New and emerging technologies, as well as the growth of cybersecurity …

Large language models based automatic synthesis of software specifications

S Mandal, A Chethan, V Janfaza, SM Mahmud… - arxiv preprint arxiv …, 2023 - arxiv.org
Software configurations play a crucial role in determining the behavior of software systems.
In order to ensure safe and error-free operation, it is necessary to identify the correct …