Doctoral Speaking Skills Talk - Myra Dotzel

Location:
In Person - Gates Hillman 8102

Speaker:
MYRA DOTZEL, Ph.D. Student, Computer Science Department, Carnegie Mellon University
https://www.andrew.cmu.edu/user/mdotzel/

Modal Crash Types for Intermittent Computing

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 Website:
https://csd.cmu.edu/calendar/doctoral-speaking-skills-talk-myra-dotzel