YoVDO

A Type System for Safe Intermittent Computing

Offered By: ACM SIGPLAN via YouTube

Tags

Type System Courses Programming Languages Courses Rust Courses Energy Harvesting Courses Compiler Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

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


Taught by

ACM SIGPLAN

Related Courses

Compilers
Stanford University via edX Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Compiler Design
Indian Institute of Technology, Kharagpur via Swayam Foundations to Computer Systems Design
Indian Institute of Technology Madras via Swayam Compiler Design
YouTube