SPLASH 2020 (series) / TAPAS 2020 (series) / TAPAS /
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
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 Times are displayed in time zone: Central Time (US & Canada) change
Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change
09:00 - 10:20 | |||
09:00 20mShort-paper | API Analytics for Curating Static Analysis Rules TAPAS | ||
09:20 20mPaper | Online Verification of Commutativity TAPAS Aditi KabraCarnegie Mellon University, Dietrich GeislerCornell University, Adrian SampsonCornell University Pre-print | ||
09:40 20mShort-paper | Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing TAPAS Nicholas Shoemaker, Ruzica PiskacYale University, USA, Mark SantolucitoBarnard College, Columbia University, USA |