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

Sat 21 Jan

OBT-2017
10:30 - 12:10: OBT - Session Two at Salle 109, Barre 44-54
OBT-2017148499100000010:30 - 10:55
Talk
Dan GhicaUniversity of Birmingham, Khulood Alyahya, Victor Patentasu
File Attached
OBT-2017148499250000010:55 - 11:20
Talk
Ugo Dal LagoUniversity of Bologna, France
File Attached
OBT-2017148499400000011:20 - 11:45
Talk
File Attached
OBT-2017148499550000011:45 - 12:10
Talk
Michael GreenbergPomona College
File Attached