‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 16:00 - 16:30 at Michelangelo - Programming Across the System Stack Chair(s): Shoaib Akram

Shell scripting languages such as bash are designed to integrate with an OS, which mainly involves managing processes with implicit input and output streams. They also attempt to do this in a compact way that could be reasonably typed on a command-line interface.

However, existing shell languages are not sufficient to serve as general-purpose languages—values are not observable except in raw streams of bytes, and they lack modern language features such as lexical scope and higher-order functions.

By way of a new programming language, Magritte, we propose a general-purpose programming language with semantics similar to bash. In this paper, we discuss the early design of such a system, in which the primary unit of composition, like bash, is processes with input and output channels, which can be read from or written to at any time, and which can be chained together via a pipe operator. We also explore concurrency semantics for such a language.

Tue 2 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30: Programming Across the System StackMoreVMs at Michelangelo
Chair(s): Shoaib AkramGhent University
16:00 - 16:30
A Shell-like Model for General Purpose ProgrammingPASS'19
Jeanine Miller AdkissonTokyo Institute of Technology, Johannes WestlundTokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko MasuharaTokyo Institute of Technology
16:30 - 17:00
Toward a Language Design for Energy PredictionPASS'19
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
17:00 - 17:30
Language Support for Multiple Privacy Enhancing TechnologiesPASS'19
Aditya OakTechnische Universität Darmstadt, Mira MeziniTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt