POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 11:45 - 12:10 at Salle 109, Barre 44-54 - Session Two

We build intricate systems with complex algorithms and invariants, aiming for guarantees of correctness and performanceā€¦ and then we maintain and deploy these systems with shell scripts! What are shell scripts? If the POSIX shell is a programming language, what are its syntax and semantics? Can we apply PL tools to reason about the shell?

In my talk, I will explain why the shell is a good object of study and present my early progress building models to reason about the shell.

Abstract (OBT_2017_paper_7.pdf)110KiB