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:05 - 09:10 at Zurich E - Languages Chair(s): Nicolas Jeannerod, Mark Santolucito

Increased complexity of configuration tasks in computing systems has brought out automatic configuration management tools and high level languages for specifying configurations, such as Puppet, a popular configuration management tool, providing its own language. However, both configuration languages and the validations lack formalization that provides high confidence in their security. The correctness of configurations built in these tools is not guaranteed and especially there is little aid for correcting configuration errors. At most, their correctness relies on existing techniques or tools invented for other purposes besides the system, but these techniques are not integrated with configuration systems. As configuration languages are domain-specific languages with distinctive features, it is worthwhile to equip them with suitable formalisms. We propose to use formal semantics in programming language theory and “provenance” techniques rooted in database research to provide formalisms for understanding and correcting configuration errors.

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