Operating Systems Courses

Write your own Operating System

Write Your Own Operating System - System Calls, POSIX Compliance

Learn to implement system calls and achieve POSIX compliance in operating system development, enabling effective communication between user-space programs and the kernel.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Write your own Operating System

Write Your Own Operating System - Multitasking

Explore multitasking implementation in OS development, covering task management, scheduling, and interrupt handling for efficient process switching.

• YouTube
• 52 minutes
• On-Demand
• Free Video

Write your own Operating System

Write Your Own Operating System - GUI Framework Basics

Explore the fundamentals of creating a GUI framework for operating systems, covering widgets, mouse interactions, and graphics contexts.

• YouTube
• 58 minutes
• On-Demand
• Free Video

Write your own Operating System

Write Your Own Operating System - Graphics Mode (VGA)

Explore VGA graphics mode implementation, learn to set pixels, and draw on screen. Gain hands-on experience in low-level graphics programming for operating system development.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Write your own Operating System

Write Your Own Operating System - Mouse

Learn to implement mouse functionality in an operating system, including interrupt handling, video memory interaction, and button testing.

• YouTube
• 33 minutes
• On-Demand
• Free Video

Write your own Operating System

Write Your Own Operating System - Hardware-Communication / Ports

Learn to communicate with hardware through ports in operating system development, covering implementation, testing, and printf functionality.

• YouTube
• 28 minutes
• On-Demand
• Free Video

Write your own Operating System

Write Your Own Operating System in 1 Hour

Learn to create a basic operating system from scratch, covering key concepts like kernels, memory management, and system structures in under an hour.

• YouTube
• 55 minutes
• On-Demand
• Free Video

Seds Online

Paired Calcium and Clumped Isotopes, Tools to Probe Changing Diagenetic Systems

Explore calcium and clumped isotopes to study carbonate recrystallization in the Bahamian margin, revealing insights into fluid flow rates and their impact on diagenetic reactions in evolving carbonate systems.

• YouTube
• 1 hour
• On-Demand
• Free Video

Seds Online

Autogenic Processes in Sedimentary Systems Are Just Part of the Allogenic Spectrum

Explore the debate on autogenic processes in sedimentary systems, examining their relationship to allogenic factors and implications for understanding Earth's geological history.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Multi-Qubit Systems - Lecture 5 of Quantum Computation at CMU

Explore multi-qubit systems, tensor products, and joint states in quantum computation. Learn about Bell states and fundamental properties of quantum systems with multiple qubits.

• YouTube
• 1 hour 23 minutes
• On-Demand
• Free Video

Ryan O'Donnell

More on Constant-Round Interactive Proof Systems - Graduate Complexity Lecture at CMU

Explore constant-round interactive proof systems in computational complexity theory, covering MA, AM, BPP, and efficient error reduction techniques.

• YouTube
• 1 hour 21 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

Explore deductive systems in theoretical computer science, covering topics like Hilbert's 10th problem, binary trees, propositional logic, and logical equivalence.

• YouTube
• 1 hour 22 minutes
• On-Demand
• Free Video

DesignCourse

Working with Three.js Particle Systems - They're Awesome

Explore Three.js particle systems to create stunning visual effects. Learn geometry, materials, and animations for dynamic web graphics.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Strange Loop Conference

Formal Modeling and Analysis of Distributed Systems

Explore formal methods for distributed systems using P programming framework. Learn to model, specify, and verify complex systems across development phases, from design to production.

• YouTube
• 39 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Automatic Generation of Runtime Checkers for Production Distributed Systems

Explore systematic techniques for automatically generating effective runtime checkers to detect and localize failures in complex distributed systems, enhancing reliability and performance.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk