License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.13.2.163
URN: urn:nbn:de:0030-drops-191836
Go back to Dagstuhl Reports

Cito, Jürgen ; Piskac, Ruzica ; Santolucito, Mark ; Zaidman, Andy ; Sokolowski, Daniel
Weitere Beteiligte (Hrsg. etc.): Jürgen Cito and Ruzica Piskac and Mark Santolucito and Andy Zaidman and Daniel Sokolowski

Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082)

dagrep_v013_i002_p163_23082.pdf (2 MB)


Errors originating from infrastructure and their configurations are one of the major causes of system failures and system degradation, resulting in security vulnerabilities, application outages, and incorrect program executions. Investigating the root causes of such issues and remedies for them requires insight from different research perspectives, including systems, programming languages, software engineering, and verification. To facilitate progress in this field, this Dagstuhl Seminar brought together experts from academia and industry, enabling synergies between different software systems subareas. The seminar was a forum for cross-disciplinary discussions, bridged communities, and forged new conversations on new approaches. Emerging themes that were revealed during the seminar included a focus on Infrastructure as Code, the similarities and differences between configuration engineering and software engineering, the portability (or lack thereof) of program analysis techniques to configuration analysis, the design space of expressibility of configuration languages, and future challenges of analysis for safety, security, and auditing. The seminar led to new short-term and long-term collaborations and connections, including organizing additional workshops and a joint vision paper.

BibTeX - Entry

  author =	{Cito, J\"{u}rgen and Piskac, Ruzica and Santolucito, Mark and Zaidman, Andy and Sokolowski, Daniel},
  title =	{{Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082)}},
  pages =	{163--182},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{13},
  number =	{2},
  editor =	{Cito, J\"{u}rgen and Piskac, Ruzica and Santolucito, Mark and Zaidman, Andy and Sokolowski, Daniel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-191836},
  doi =		{10.4230/DagRep.13.2.163},
  annote =	{Keywords: Computing infrastructure, Configuration, Program analysis}

Keywords: Computing infrastructure, Configuration, Program analysis
Collection: DagRep, Volume 13, Issue 2
Issue Date: 2023
Date of publication: 09.10.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI