[Pl-seminar] 10th October: Michael Greenberg - Rehabilitating the POSIX shell

[Aviral Goel]

NUPRL Seminar presents

*Michael Greenberg *
Pomona College (http://www.cs.pomona.edu/~michael/)

10:00 AM
Wednesday, October 10 2018
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

*Rehabilitating the POSIX shell*

*Abstract*

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? Why haven't prior PL
attempts at understanding the shell redeemed it?

*Bio*

Michael Greenberg is an assistant professor at Pomona College. He received
his BA in Computer Science and Egyptology from Brown University (2007) and
his PhD in Computer Science from the University of Pennsylvania (2013). His
work has ranged from functional-reactive JavaScript (with Shriram
Krishnamurthi at Brown) to runtime verification of higher-order programs
using contracts (with Benjamin Pierce at Penn) to software-defined
networking (with Dave Walker at Princeton) to present activities focused on
Kleene algebra with tests and the POSIX shell. He is always looking for new
climbing partners.
-------------- next part --------------
HTML attachment scrubbed and removed