Abstract: Checkpointing is a key technique to guarantee execution correctness and ensure progress forwarding in energy harvesting systems. However, checkpointing itself introduces system overhead due ...