Corpus ID: 237605419

Report on the "The Future of the Shell" Panel at HotOS 2021

  title={Report on the "The Future of the Shell" Panel at HotOS 2021},
  author={Michael Greenberg and Konstantinos Kallas and Nikos Vasilakis and Stephen Kell},
This document summarizes the challenges and possible research directions around the shell and its ecosystem, collected during and after the HotOS21 Panel on the future of the shell. The goal is to create a snapshot of what a number of researchers from various disciplines—connected to the shell to varying degrees—think about its future. We hope that this document will serve as a reference for future research on the shell and its ecosystem. 


The future of the shell: Unix and beyond
This 90-minute panel brings together researchers and engineers from disparate communities to think about the Unix shell's strengths and weaknesses, challenges and opportunities around the shell, and the shell's future. Expand
Unix shell programming: the next 50 years
This paper aims to help manage the shell's essential shortcomings (dynamism, power, and abstruseness) and address its inessential ones. Expand
From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud
To cope with distribution at astronomic scale, operating systems must take their operating systems back to the drawing board, and it is time to be brave. Expand
POSH: A Data-Aware Shell
POSH is presented, a framework that accelerates shell applications with I/O-heavy components, such as data analytics with command-line utilities, and is benchmarked on real shell pipelines such as image processing, network security analysis, log analysis, distributed system debugging, and git to find that it provides speedups ranging from 1.6× to 15× compared to NFS. Expand
A Formally Verified Interpreter for a Shell-Like Programming Language
The mid-term goal is to analyze these scripts as part of an ongoing effort to use formal methods for the quality assurance of software distributions, to prove their correctness, or to pinpoint bugs. Expand
The Psychology of Everyday Things
For whatever reason consciousness evolved, our awareness of ourselves in our ecological niche would be expected to be experienced as compatible. The industrial revolution challenged thisExpand
Tortoise: Interactive system configuration repair
This paper presents a synthesis-based technique that allows administrators to use configuration languages and the shell in harmony and automatically repairs the higher-level specification written in the configuration language. Expand
Extending Unix Pipelines to DAGs
Dgsh was evaluated through a number of common data processing and domain-specific examples, and was found to offer an expressive way to specify processing topologies, while also generally increasing processing throughput. Expand
Files as directories: some thoughts on accessing structured data within files
This paper explores the concept of files as directories (FAD) as a unified interface to structured data within a file by representing such a file as (virtual) directory and the structured data asExpand
From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers
We present gg, a framework and a set of command-line tools that helps people execute everyday applications--e.g., software compilation, unit tests, video encoding, or object recognition--usingExpand