SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 09:40 - 10:00 at SPLASH-V - Session 3

Energy harvesting allows computational devices to run without a battery, opening new application domains of computing. Such devices work under an intermittent computing model, where the system may power cycle several times a second. The main approach to ensuring progress in intermittent computing is to use checkpoints, with much work being dedicated to this direction. However, no existing approaches handle programs using dynamically allocated memory in the intermittent computing model. We pose this as a challenge area, demonstrate the complexities of checkpoint in this space, and propose key characteristics an effective solution.

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Session 3TAPAS at SPLASH-V
09:00
20m
Short-paper
API Analytics for Curating Static Analysis Rules
TAPAS
09:20
20m
Paper
Online Verification of Commutativity
TAPAS
Aditi Kabra Carnegie Mellon University, Dietrich Geisler Cornell University, Adrian Sampson Cornell University
Pre-print
09:40
20m
Short-paper
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
TAPAS
Nicholas Shoemaker , Ruzica Piskac Yale University, USA, Mark Santolucito Barnard College, Columbia University, USA