Many techniques were proposed for detecting software misconfigurations in cloud systems
and for diagnosing unintended behavior caused by such misconfigurations. Detection and …

The behavior of large systems is guided by their configurations: users set parameters in the
configuration file to dictate which corresponding part of the system code is executed …

Cellular service providers add carriers in the network in order to support the increasing
demand in voice and data traffic and provide good quality of service to the users. Addition of …

Configuration changes are among the dominant causes of failures of large-scale software
system deployment. Given the velocity of configuration changes, typically at the scale of …

Large services depend on correct configuration to run efficiently and seamlessly. Checking
such configuration for correctness is important because services use a large and …

Modern datacenter infrastructures are increasingly architected as a cluster of loosely
coupled services. The cluster states are typically maintained in a logically centralized …

With the increasing prevalence of heterogeneous hardware and the increasing need for
online reconfiguration, there is increasing demand for heterogeneous configurations …

Access-control misconfigurations are among the main causes of today's security incidents.
One main reason is that access-control configurations need to be frequently changed by …

Misconfiguration has become one of the dominant causes of service failure and software
abnormality. It will not only affect the user experience and cause economic losses, but also …

Today's distributed system infrastructures usually consist of multiple systems that cooperate
to deliver computing and storage services together. The reliability of distributed system …