DeepAI AI Chat
Log In Sign Up

Virtualizing Intermittent Computing

11/28/2021
by   Caglar Durmaz, et al.
Università di Trento
0

Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to programs that are hardware-dependent and not reusable. This paper aims at virtualizing intermittent computing to remedy these problems. We introduce PureVM, a virtual machine that abstracts a transiently powered computer, and PureLANG, a continuation-passing-style programming language to develop programs that run on PureVM. This virtualization, for the first time, paves the way for portable and reusable transiently-powered applications.

READ FULL TEXT
07/29/2020

Towards a Formal Foundation of Intermittent Computing

Intermittently powered devices enable new applications in harsh or inacc...
11/19/2021

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

Context: Reynolds showed us how to use continuation-passing style and de...
04/09/2021

Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems

Intermittently powered energy-harvesting devices enable new applications...
04/05/2000

Programming in Alma-0, or Imperative and Declarative Programming Reconciled

In (Apt et al, TOPLAS 1998) we introduced the imperative programming lan...
02/15/2022

Weighted Programming

We study weighted programming, a programming paradigm for specifying mat...
02/16/2022

NORM: An FPGA-based Non-volatile Memory Emulation Framework for Intermittent Computing

Intermittent computing systems operate by relying only on harvested ener...
03/26/2021

ReaDmE: Read-Rate Based Dynamic Execution Scheduling for Intermittent RF-Powered Devices

This paper presents a method for remotely and dynamically determining th...