Systems & CS

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

9 courses · 209 standalone talks · 504 total lectures

All Systems & CS Algorithms & Data Structures (107)Database Systems (102)Operating Systems (79)Programming Languages (78)Computer Architecture (76)Distributed Systems (75)Systems Security (41)Software Design & HCI (27)Genetics & Molecular Biology (19)Probability & Information Theory (16)

Showing 7 of 7 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Distributed Systems: Google's Spanner

Distributed Systems: Google's Spanner

Systems & CS·Standalone Lecture · Martin Kleppmann · University of Cambridge

Martin Kleppmann University of Cambridge

18:41

Deterministic Simulation Testing for Distributed Databases (Antithesis)

Deterministic Simulation Testing for Distributed Databases (Antithesis)

Systems & CS·Research Seminar · Marco Primi · Carnegie Mellon University

Marco Primi Carnegie Mellon University

1:01:02

Lecture 8: Query Scheduling & Coordination (15-721)

Lecture 8: Query Scheduling & Coordination (15-721)

15-721 · Lec 9 · Andy Pavlo · Carnegie Mellon University

Andy Pavlo Carnegie Mellon University

1:24:32

Lecture 12: Database Networking Protocols (15-721)

Lecture 12: Database Networking Protocols (15-721)

15-721 · Lec 13 · Andy Pavlo · Carnegie Mellon University

Andy Pavlo Carnegie Mellon University

1:22:56

Lecture 13: Spanner (6.824)

Lecture 13: Spanner (6.824)

6.824 · Lec 13 · Robert Morris · MIT

Robert Morris MIT

1:19:07

Lecture 21: Intro to Distributed Databases (15-445)

Lecture 21: Intro to Distributed Databases (15-445)

15-445 · Lec 22 · Andy Pavlo · Carnegie Mellon University

Andy Pavlo Carnegie Mellon University

1:21:21

Lecture 5.1: Replication (CST-DS)

Lecture 5.1: Replication (CST-DS)

CST-DS · Lec 9 · Martin Kleppmann · University of Cambridge

Martin Kleppmann University of Cambridge

25:21

More categories

Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Algorithms & Theory (370)Engineering & Robotics (333)