SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

This program is tentative and subject to change.

Mon 18 Oct 2021 09:10 - 09:15 at Zurich E - Languages Chair(s): Nicolas Jeannerod, Mark Santolucito

Ansible is a widely-used Infrastructure-as-Code (IaC) lan- guage for managing the configuration of machines in a digital infrastructure. The reliability of configuration definition files, which Ansible calls “playbooks”, is of the upmost importance. However, Ansible employs semantics unlike those found in traditional programming languages, the unexpected behaviour of which could surprise developers. Next to forming a steep learning curve for newcomers, this semantics also hinders both manual and mechanical verification. In this presentation, we will show a number of potential pitfalls caused by a combination of unconventional semantic properties of Ansible variables and template expressions. The purpose of this talk is three-fold: 1. To spread awareness of the unconventional semantics of Ansible and possible pitfalls to practitioners. 2. To entice tool builders to work on code analysers and bug detectors related to these pitfalls. 3. To stimulate language designers to address these pitfalls with safer alternatives.

This program is tentative and subject to change.

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
LanguagesCONFLANG at Zurich E
Chair(s): Nicolas Jeannerod IRIF, Université de Paris, Mark Santolucito Barnard College, Columbia University, USA
09:00
5m
Talk
A Language for Configuring Security Policies
CONFLANG
Gilad Bracha g.bracha@f5.com
Media Attached
09:05
5m
Talk
Provenance of Configuration Programming Language muPuppet
CONFLANG
Weili Fu University of Freiburg, Germany, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK
Media Attached
09:10
5m
Talk
The Pitfalls of Ansible’s Variable and Template Expression Semantics
CONFLANG
Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Media Attached
09:15
5m
Talk
Typing in Nickel and elsewhere
CONFLANG
Yann Hamdaoui Tweag I/O
Media Attached
09:20
60m
Live Q&A
Languages: Q&A and discussion
CONFLANG