March 29 – April 3 , 2020, Dagstuhl Seminar 20142

RESCHEDULED Resilient Software Configuration and Infrastructure Code Analysis

Due to the Covid-19 pandemic, this seminar was rescheduled to February 19 – 24 , 2023Seminar 23082.


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

For support, please contact

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

Related Dagstuhl Seminar


  • Operating Systems
  • Programming Languages / Compiler
  • Software Engineering


  • Configuration
  • Computing infrastructure
  • Program analysis


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.