YoVDO

Formal Methods for Kernel Hackers

Offered By: Linux Plumbers Conference via YouTube

Tags

Linux Plumbers Conference Courses Formal Methods Courses TLA+ Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore formal methods for kernel development in this 44-minute conference talk from the Linux Plumbers Conference. Discover how these tools, often perceived as academic and inaccessible, can be effectively used by kernel hackers to improve the Linux kernel. Learn about formal models that have uncovered real bugs in the kernel and discuss potential future applications, from modeling existing kernel implementations to formally specifying new design choices. Gain insights into PlusCal, an algorithm language based on TLA+, through introductory examples, with no prior knowledge required. Join speaker Catalin Marinas in demystifying formal methods and their practical applications in kernel hacking.

Syllabus

LPC2018 - Formal Methods for Kernel Hackers


Taught by

Linux Plumbers Conference

Related Courses

Real Time Mesajlaşma Uygulaması
Udemy
Securely Booting Confidential VMs with Encrypting Disk
Linux Plumbers Conference via YouTube
Pressure Feedback for LRU Map Types
Linux Plumbers Conference via YouTube
Closing the BPF Map Permission Loophole
Linux Plumbers Conference via YouTube
The Revival of the Learning-Sync Bridgeport Flag
Linux Plumbers Conference via YouTube