‹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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Programming Across the System StackMoreVMs at Michelangelo
Chair(s): Shoaib Akram Ghent University
16:00
30m
Talk
A Shell-like Model for General Purpose ProgrammingPASS'19
MoreVMs
Jeanine Miller Adkisson Tokyo Institute of Technology, Johannes Westlund Tokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko Masuhara Tokyo Institute of Technology
Pre-print
16:30
30m
Talk
Toward a Language Design for Energy PredictionPASS'19
MoreVMs
Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Pre-print
17:00
30m
Talk
Language Support for Multiple Privacy Enhancing TechnologiesPASS'19
MoreVMs
Aditya Oak Technische Universität Darmstadt, Mira Mezini TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt