Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to the 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 transientlypowered applications.

Virtualizing Intermittent Computing / Durmaz, C.; Yildirim, K. S.; Kardas, G.. - In: IEEE INTERNET OF THINGS JOURNAL. - ISSN 2327-4662. - 1:(2022), pp. 1-1. [10.1109/JIOT.2022.3176587]

Virtualizing Intermittent Computing

Yildirim K. S.;
2022

Abstract

Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to the 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 transientlypowered applications.
Durmaz, C.; Yildirim, K. S.; Kardas, G.
Virtualizing Intermittent Computing / Durmaz, C.; Yildirim, K. S.; Kardas, G.. - In: IEEE INTERNET OF THINGS JOURNAL. - ISSN 2327-4662. - 1:(2022), pp. 1-1. [10.1109/JIOT.2022.3176587]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11572/350539
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact