Document Open Access Logo

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

Authors Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.13.2.163.pdf
  • Filesize: 1.7 MB
  • 20 pages

Document Identifiers

Author Details

Jürgen Cito
  • TU Wien, AT
Ruzica Piskac
  • Yale University - New Haven, US
Mark Santolucito
  • Barnard College - New York, US
Andy Zaidman
  • TU Delft, NL
Daniel Sokolowski
  • Universität St. Gallen, CH
and all authors of the abstracts in this report

Cite AsGet BibTex

Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, and Daniel Sokolowski. Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). In Dagstuhl Reports, Volume 13, Issue 2, pp. 163-182, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/DagRep.13.2.163

Abstract

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.

Subject Classification

ACM Subject Classification
  • Security and privacy → Operating systems security
  • Software and its engineering → Parallel programming languages
  • Software and its engineering → Compilers
  • Software and its engineering
Keywords
  • Computing infrastructure
  • Configuration
  • Program analysis

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail