Wednesday, November 20, 2024, 12 – 1pm

Intermittent computing is gaining popularity in applications that rely on batteryless energy-harvesting devices, which experience frequent and arbitrary power failures. To ensure progress, programs running on these devices rely on runtime support to save state and re-execute after a power failure.

In this talk, we study the logical underpinning of intermittent computing and model checkpoint, crash, restore, and re-execution operations as computation on crash types. We draw inspiration from adjoint logic to reason about the relationship between persistent and transient memories through (re-)execution, checkpointing, and restoration. Using crash types, we show that any correct intermittent execution can be simulated by a continuously-powered execution.

Presented as part of the PLunch Seminar Series
and in Partial Fulfillment of the CSD Speaking Skills Requirement

Event Type: Speaking Skills
Room Number: In Person
Building: Gates Hillman 8102
Speaker's Name: MYRA DOTZEL
Speaker Website: www.andrew.cmu.edu…
Speaker's Professional Title: Ph.D. Student, Computer Science Department, Carnegie Mellon University
Talk Title: Modal Crash Types for Intermittent Computing
Event Poster Title: Poster
Event Poster URL: www.cs.cmu.edu…
For More Information: matthewstewart@cmu.edu
Affiliations: Computer Science Department (CSD)
Organization(s): School of Computer Science
Event Website Title: Event Website
Event Website URL: csd.cmu.edu…