POPL 2017 (series) / Off the Beaten Track 2017 (series) / Off the Beaten Track 2017 /
Understanding the POSIX Shell as a Programming Language
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 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 25mTalk | Can we machine-learn programming language semantics? Off the Beaten Track File Attached | ||
10:55 25mTalk | How Far Apart Should Those Programs Be? Off the Beaten Track Ugo Dal Lago University of Bologna, France File Attached | ||
11:20 25mTalk | Programming Quantum Annealers Off the Beaten Track File Attached | ||
11:45 25mTalk | Understanding the POSIX Shell as a Programming Language Off the Beaten Track Michael Greenberg Pomona College File Attached | ||
