Many program verification tools can be customized via run-time configuration options that
trade off performance, precision, and soundness. However, in practice, users often run tools …

Writing and running software is now as much a part of science as telescopes and test tubes,
but most researchers are never taught how to do either well. As a result, it takes them longer …

The prevalence and severity of software configuration-induced issues have driven the
design and development of a number of detection and diagnosis techniques. Many of these …

Surrogates, models that mimic the behavior of programs, form the basis of a variety of
development workflows. We study three surrogate-based design patterns, evaluating each …

Small uncrewed aerial systems, sUAS, provide an invaluable resource for performing a
variety of surveillance, search, and delivery tasks in remote or hostile terrains which may not …

Software configuration tuning is essential for optimizing a given performance objective (eg,
minimizing latency). Yet, due to the software's intrinsically complex configuration landscape …

Modern computer systems are highly configurable, with hundreds of configuration options
that interact, resulting in an enormous configuration space. As a result, optimizing …

Configuration tuning for large software systems is generally challenging due to the complex
configuration space and expensive performance evaluation. Most existing approaches …

In recent years, misconfigurations have become one of the major causes of software system
failures, resulting in numerous service outages. What is worse, misconfigurations are also …

The users or deployment engineers of a software system can adapt such a system to a wide
range of deployment and usage scenarios by changing the value of configuration options …