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 Algorithms & Data Structures Hashing & Search Data Structures7 Asymptotic Analysis & Lower Bounds4 Divide & Conquer & Sorting3 Dynamic Programming3 Graph Algorithms & Shortest Paths3 Randomized & Approximation Algorithms3 Data Structures2 Formal Methods2 Parallel Algorithms2

Save

Reasoning About Programs

Reasoning About Programs

Theory & Algos·Research Seminar·Graph Algorithms & Shortest Paths · Edsger W. Dijkstra · UT Austin

Edsger W. Dijkstra

—

54:50

Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs

Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs

Theory & Algos·Conference Talk·Formal Methods · Shushu Wu · Shanghai Jiao Tong University

SJShanghai Jiao Tong University

—

19:38

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)

Formal Methods

2