DROPS

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

DOI: 10.4230/OASIcs.PLATEAU.2018.3

Programming by Example: Efficient, but Not "Helpful"

Authors: Mark Santolucito, Drew Goldman, Allyson Weseley, and Ruzica Piskac

Published in: OASIcs, Volume 67, 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018)

Abstract

Programming by example (PBE) is a powerful programming paradigm based on example driven synthesis. Users can provide examples, and a tool automatically constructs a program that satisfies the examples. To investigate the impact of PBE on real-world users, we built a study around StriSynth, a tool for shell scripting by example, and recruited 27 working IT professionals to participate. In our study we asked the users to complete three tasks with StriSynth, and the same three tasks with PowerShell, a traditional scripting language. We found that, although our participants completed the tasks more quickly with StriSynth, they reported that they believed PowerShell to be a more helpful tool.

Cite as

Mark Santolucito, Drew Goldman, Allyson Weseley, and Ruzica Piskac. Programming by Example: Efficient, but Not "Helpful". In 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018). Open Access Series in Informatics (OASIcs), Volume 67, pp. 3:1-3:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{santolucito_et_al:OASIcs.PLATEAU.2018.3,
  author =	{Santolucito, Mark and Goldman, Drew and Weseley, Allyson and Piskac, Ruzica},
  title =	{{Programming by Example: Efficient, but Not "Helpful"}},
  booktitle =	{9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018)},
  pages =	{3:1--3:10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-091-0},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{67},
  editor =	{Barik, Titus and Sunshine, Joshua and Chasins, Sarah},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PLATEAU.2018.3},
  URN =		{urn:nbn:de:0030-drops-101984},
  doi =		{10.4230/OASIcs.PLATEAU.2018.3},
  annote =	{Keywords: user study, scripting, programming by example}
}

Search Results

Documents authored by Santolucito, Mark

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

Abstract

Cite as

Programming by Example: Efficient, but Not "Helpful"

Abstract

Cite as

Thanks for your feedback!

Could not send message