The Unix shell is a powerful, ubiquitous, and reviled tool for managing computer systems.
The shell has been largely ignored by academia and industry. While many replacement …

Serverless computing is a recent paradigm to program the cloud. It allows to execute user-
defined functions at scale, on demand, and in a pay-per-use manner. This paper reports on …

Recent shell-script parallelization systems enjoy mostly automated parallel speedups by
compiling scripts ahead-of-time. Unfortunately, such static parallelization is hampered by the …

We present a dataflow model for modelling parallel Unix shell pipelines. To accurately
capture the semantics of complex Unix pipelines, the dataflow model is order-aware, ie, the …

Modern application development addresses increasingly specialized problems using
domain-specific utilities, such as Optical Code Recognition and standalone statistical tools …

The interactive command line, also known as the shell, is a prominent mechanism used
extensively by a wide range of software professionals (engineers, system administrators …

To protect systems from malicious activities, it is important to differentiate between valid and
harmful commands. One way to achieve this is by learning the syntax of the commands …

Shell scripting remains prevalent for automation and data-processing tasks, partly due to its
dynamic features—eg, expansion, substitution—and language agnosticism—ie, the ability to …

Shell scripts are critical infrastructure for developers, administrators, and scientists; and
ought to enjoy the performance benefits of the full suite of advances in compiler …

The Unix shell is fifty years old, and it continues to be the primary way to configure, deploy,
and manage systems of all kinds. What do the next fifty years hold? What is the command …