Lectures related to Microkernel

Shell and OS organization

Covers system calls, kernel space, process management, file descriptors, pipes, and hardware isolation in OS organization.

Separation is all you need: Foundations for Modular Verification

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

Kernel Ridge Regression: Equivalent Formulations and Representer Theorem

Explores Kernel Ridge Regression, equivalent formulations, Representer Theorem, Kernel trick, and predicting with kernels.