Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

⌘K

Full university courses, lectures, and study paths—free of ads and clutter.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Speakers

Workspace

Saved Library
Study Notebook
About & Mission
Help & Feedback
Terms, Privacy & Copyright
Rights & Takedown
RSS Feed
Sitemap

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

© 2026 Lectern·Independent Academic Archive·Terms & Copyright·YouTube Terms·Google Privacy

⌘K to search · ? for shortcuts

/

Academic Discipline

Systems & CS

Distributed systems, databases, operating systems, compilers, programming languages, networking, and computer architecture.

18courses·287standalone talks·534total lectures

Subfields

All Systems & CS534 Programming Languages151 Software Design & HCI114 Database Systems97 Operating Systems96 Distributed Systems85 Computer Architecture71 Algorithms & Data Structures56 Systems Security40 Malleable Computing & Dynamic Media37 Computer Networks & Cloud14 Computer Vision & Graphics6 Probability & Information Theory6

All Operating Systems Systems Programming37 Concurrency, Threads & Locks33 OS Kernels & System Calls13 File Systems & Storage7 Virtual Memory & Paging5 Kernel Development3 Hardware-Software Interface2 Kernel Design2 Process Management2

Save

Proving Kernels Correct Instead of Testing Them

Proving Kernels Correct Instead of Testing Them

Research Seminar·Computer Architecture · Ben Koska · GPU MODE

—

44:41

More categories

Mathematics (519)Physics & Cosmology (490)AI & Machine Learning (258)History & Humanities (391)Philosophy & Ethics (280)Biology & Neuroscience (296)Economics & Finance (339)Algorithms & Theory (358)Engineering & Robotics (240)

Program Correctness

1