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

Shape Security uses a language called DEX1 to configure security policies used to defend enterprises against Botnet attacks. DEX is a purely functional, decidable, statically typed language designed to facilitate configuration and analysis. By design, it is not Turing-complete. The language does not permit recursion and has no explicit looping constructs. Iteration over finite collections is provided via list comprehensions. As a result, a program written entirely in DEX can never diverge or crash.

The talks introduce DEX. The talk will then list a number of feature of the language, from typing to null handling, and give an experience report on the usage and the past and foreseeable evolution of the DEX language.

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