28. November – 03. Dezember 2021, Dagstuhl-Seminar 21482

CANCELLED Resilient Software Configuration and Infrastructure Code Analysis

Due to the Covid-19 pandemic, this seminar was cancelled.


Jürgen Cito (TU Wien, AT)
Ruzica Piskac (Yale University – New Haven, US)
Andy Zaidman (TU Delft, NL)
Yuanyuan Zhou (University of California – San Diego, US)

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team


According to a recent survey study, configuration errors were reported to be the largest fraction of failures in storage systems. In general, errors originating from infrastructure and their configurations are one of the major causes of system failures, resulting in security vulnerabilities, application outages, and incorrect program executions. Current research focuses on investigating the root cause of these errors and remedies to them, from different perspectives. Approaches are emerging to manage the complexity of infrastructure and configuration, covering a breadth of forms, such as domain specific languages, standalone verification tools, automated learning techniques, specification-based synthesis, security annotation extensions, and configuration optimizers.

These new research directions in the field of configuration analysis impose the challenge of finding a synergy between theory, tools, and interface design. Our goal is to gain a better understanding of the theoretical foundations that will enable reasoning about configuration and infrastructure code. Some of the key high-level challenges to be addressed include

  • Infrastructure and Configuration Code Maintenance and Evolution
  • Configuration Summaries and Optimization
  • Specification Learning and Mining
  • Infrastructure and Configuration Testing and Verification
  • Infrastructure and Configuration Repair

This Dagstuhl Seminar will reflect on the perspectives of the different communities involved in configuration analysis, including the systems, programming languages, and verification communities, as well as the software industry at large. The seminar will serve as a venue to find common language and concepts to discuss open problems and potential future research directions. Additionally, we seek to facilitate collaboration between the underlying theory of configuration analysis and practitioners who drive the conversation from an industrial perspective.

The overarching goal is the advance of state of the art and practice of infrastructure and configuration code from a holistic software engineering perspective and build a community of practice around the topic of configuration analysis. To meet this goal, we will focus on bridging research groups and forging new conversations between various academic sub-disciplines and industrial perspectives. As a newlyforming community, we first need to understand the challenges that have been identified in each of the existing fields. Next, our goal is to define a research agenda that finds synergies between the fields. The shared knowledge that will be built during this seminar will be captured in a report, that can act as a body of knowledge for researchers within the space of software configuration and infrastructure code analysis.

Motivation text license
  Creative Commons BY 3.0 DE
  Jürgen Cito, Ruzica Piskac, Andy Zaidman, and Yuanyuan Zhou


  • Operating Systems
  • Programming Languages / Compiler
  • Software Engineering


  • Configuration
  • Computing infrastructure
  • Program analysis


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.