TY - GEN
T1 - Intermittent computing
T2 - 2nd Summit on Advances in Programming Languages, SNAPL 2017
AU - Lucia, Brandon
AU - Balaji, Vignesh
AU - Colin, Alexei
AU - Maeng, Kiwan
AU - Ruppel, Emily
N1 - Funding Information:
This work was funded by National Science Foundation grant CNS-1526342 and a gift from Disney Research Pittsburgh.
Publisher Copyright:
© Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, and Emily Ruppel; licensed under Creative Commons License CC-BY.
PY - 2017/5/1
Y1 - 2017/5/1
N2 - The maturation of energy-harvesting technology and ultra-low-power computer systems has led to the advent of intermittently-powered, batteryless devices that operate entirely using energy extracted from their environment. Intermittently operating devices present a rich vein of programming languages research challenges and the purpose of this paper is to illustrate these challenges to the PL research community. To provide depth, this paper includes a survey of the hardware and software design space of intermittent computing platforms. On the foundation of these research challenges and the state of the art in intermittent hardware and software, this paper describes several future PL research directions, emphasizing a connection between intermittence, distributed computing, energy-aware programming and compilation, and approximate computing. We illustrate these connections with a discussion of our ongoing work on programming for intermittence, and on building and simulating intermittent distributed systems.
AB - The maturation of energy-harvesting technology and ultra-low-power computer systems has led to the advent of intermittently-powered, batteryless devices that operate entirely using energy extracted from their environment. Intermittently operating devices present a rich vein of programming languages research challenges and the purpose of this paper is to illustrate these challenges to the PL research community. To provide depth, this paper includes a survey of the hardware and software design space of intermittent computing platforms. On the foundation of these research challenges and the state of the art in intermittent hardware and software, this paper describes several future PL research directions, emphasizing a connection between intermittence, distributed computing, energy-aware programming and compilation, and approximate computing. We illustrate these connections with a discussion of our ongoing work on programming for intermittence, and on building and simulating intermittent distributed systems.
UR - https://www.scopus.com/pages/publications/85019564007
UR - https://www.scopus.com/pages/publications/85019564007#tab=citedBy
U2 - 10.4230/LIPIcs.SNAPL.2017.8
DO - 10.4230/LIPIcs.SNAPL.2017.8
M3 - Conference contribution
AN - SCOPUS:85019564007
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 2nd Summit on Advances in Programming Languages, SNAPL 2017
A2 - Bodik, Rastislav
A2 - Lerner, Benjamin S.
A2 - Krishnamurthi, Shriram
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Y2 - 7 May 2017 through 10 May 2017
ER -