Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Thu 3 Nov 2016 10:55 - 11:20 at Matterhorn 2 - Language Design and Programming Models II Chair(s): Olivier Tardieu

Energy harvesting computers enable general-purpose computing using energy collected from their environment. Energy-autonomy of such devices has great potential, but their intermittent power supply poses a challenge. Intermittent program execution compromises progress and leaves state inconsistent. This work describes Chain: a new model for programming intermittent devices.

A Chain program is a set of programmer-defined tasks that compute and exchange data through channels. Chain guarantees forward progress at task granularity. A task is restartable and never sees inconsistent state, because its input and output channels are separated. Our system supports language features for expressing advanced data exchange patterns and for encapsulating reusable functionality.

Chain fundamentally differs from state-of-the-art checkpointing approaches and does not incur the associated overhead. We implement Chain as C language extensions and a runtime library. We used Chain to implement four applications: machine learning, encryption, compression, and sensing. In experiments, Chain ensured consistency where prior approaches failed and improved throughput by 2-7x over the leading state-of-the-art system.

Conference Day
Thu 3 Nov

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

10:30 - 12:10
Language Design and Programming Models IIOOPSLA at Matterhorn 2
Chair(s): Olivier TardieuIBM Research
10:30
25m
Talk
Automatic Enforcement of Expressive Security Policies using Enclaves
OOPSLA
Anitha Gollamudi, Stephen ChongHarvard University
DOI
10:55
25m
Talk
Chain: Tasks and Channels for Reliable Intermittent Programs
OOPSLA
Alexei ColinCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI Pre-print
11:20
25m
Talk
GEMs: Shared-Memory Parallel Programming for Node.js
OOPSLA
Daniele BonettaOracle Labs, Luca SalucciUniversità della Svizzera italiana (USI), Stefan MarrJohannes Kepler University Linz, Walter BinderUniversity of Lugano
DOI
11:45
25m
Talk
OrcO: A Concurrency-First Approach to Objects
OOPSLA
Arthur Michener PetersThe University of Texas at Austin, Texas, USA, David KitchinGoogle, Inc., John A. ThywissenThe University of Texas at Austin, William CookUT Austin
DOI Pre-print