Large-scale cloud services deploy hundreds of configuration changes to production systems
daily. At such velocity, configuration changes have inevitably become prevalent causes of …

Misconfigurations are the major causes of software failures. Existing configuration validation
techniques rely on manually written rules or test cases, which are expensive to implement …

Cloud systems are increasingly being managed by operation programs termed operators,
which automate tedious, human-based operations. Operators of modern management …

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 …

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

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 …

Modern software systems are designed to be deployed in different configured environments
(eg, permissions, virtual resources, network connections) and adapted at runtime to different …

Modern cloud systems are orchestrations of independent and interacting (sub-) systems,
each specializing in important services (eg, data processing, storage, resource …

Code review is a popular practice where developers critique each others' changes. Since
automated builds can identify low-level issues (eg, syntactic errors, regression bugs), it is not …

A large-scale system contains a huge configuration space because of its large number of
configuration parameters. This leads to a combination explosion among configuration …