Search Results

Documents authored by Zaidman, Andy


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

Authors: Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, and Daniel Sokolowski

Published in: Dagstuhl Reports, Volume 13, Issue 2 (2023)


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.

Cite as

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)


Copy BibTex To Clipboard

@Article{cito_et_al:DagRep.13.2.163,
  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 =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.163},
  URN =		{urn:nbn:de:0030-drops-191836},
  doi =		{10.4230/DagRep.13.2.163},
  annote =	{Keywords: Computing infrastructure, Configuration, Program analysis}
}
Document
Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)

Authors: Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman

Published in: Dagstuhl Reports, Volume 8, Issue 3 (2018)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18122 "Automatic Quality Assurance and Release". The main goal of this seminar was to bridge the knowledge divide on how researchers and industry professionals reason about and implement DevOps for automatic quality assurance. Through the seminar, we have built up a common understanding of DevOps tools and practices, but we have also identified major academic and educational challenges for this field of research.

Cite as

Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman. Automatic Quality Assurance and Release (Dagstuhl Seminar 18122). In Dagstuhl Reports, Volume 8, Issue 3, pp. 94-127, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{adams_et_al:DagRep.8.3.94,
  author =	{Adams, Bram and Baudry, Benoit and Eldh, Sigrid and Zaidman, Andy},
  title =	{{Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)}},
  pages =	{94--127},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Adams, Bram and Baudry, Benoit and Eldh, Sigrid and Zaidman, Andy},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.94},
  URN =		{urn:nbn:de:0030-drops-92994},
  doi =		{10.4230/DagRep.8.3.94},
  annote =	{Keywords: DevOps, automated quality assurance, Continuous Integration, Continuous Deployment, software testing}
}
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