A Type System for Safe Intermittent Computing

Explore a groundbreaking type system approach for safe intermittent computing in this 20-minute video presentation from PLDI 2023. Delve into the challenges of batteryless energy-harvesting devices and learn how the innovative Curricle type system for Rust addresses issues of programmability and correctness. Discover how type-level reasoning allows programmers to express idempotence requirements and retain crucial alias information for sound analyses. Examine the implementation of Curricle on top of Rust's compiler and its evaluation on benchmarks from prior work. Gain insights into how this approach benefits application programmers and enables intermittent system designers to create simpler, better-performing recovery systems.

[PLDI'23] A Type System for Safe Intermittent Computing