Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 20142

Resilient Software Configuration and Infrastructure Code Analysis Postponed

( Mar 29 – Apr 03, 2020 )

Please use the following short url to reference this page:

Dagstuhl Seminar 21482: Resilient Software Configuration and Infrastructure Code Analysis (2021-11-28 - 2021-12-03) (Details)




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.

Copyright Jürgen Cito, Ruzica Piskac, Andy Zaidman, and Yuanyuan Zhou

  • Jürgen Cito (MIT - Cambridge, US) [dblp]
  • Ruzica Piskac (Yale University - New Haven, US) [dblp]
  • Andy Zaidman (TU Delft, NL) [dblp]

  • operating systems
  • programming languages / compiler
  • software engineering

  • configuration
  • computing infrastructure
  • program analysis