Automatic Verification of Intermittent Systems
No abstract available.
Related papers
- Automatically enforcing fresh and consistent inputs in intermittent systems PLDI 2021
- SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems CGO 2024
- A simpler, safer programming and execution model for intermittent systems PLDI 2015
- Towards a formal foundation of intermittent computing OOPSLA 2020
- Supporting peripherals in intermittent systems with just-in-time checkpoints PLDI 2019
- Transactional concurrency control for intermittent, energy-harvesting computing systems PLDI 2019
- A Type System for Safe Intermittent Computing PLDI 2023
- Modal Crash Types for WAR-Aware Intermittent Computing TOPLAS 2025