Academic Discipline

Systems & CS

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

15courses223standalone talks432total lectures

Subfields

All Systems & CS432 Programming Languages109 Database Systems85 Operating Systems75 Distributed Systems73 Software Design & HCI72 Computer Architecture53 Algorithms & Data Structures44 Systems Security44 Malleable Computing & Dynamic Media18 Computer Networks & Cloud14 Probability & Information Theory6 Computer Vision & Graphics3

Programming Languages— Compilers, type systems, functional programming, runtime memory management, and language semantics.

12 topics

All Programming Languages Functional Programming36 Compilers & Code Generation25 Garbage Collection & Runtimes20 Lisp, Macros & Symbolic Abstraction13 Type Systems & Inference7 Erlang3 Julia Language3 Julia Programming Language3 Numerical Analysis3 Programming Language Theory3 Python3 Computational Biology2

Compilers & Code Generation · Programming Languages

jknavigate↵watchcchaptersssavexwatched

Save

Decidability, Type Systems, and the Limits of Open Source Trust

Systems & CS·Public Colloquium·Computational Complexity

Premature Abstraction

15:21

The Jank Dialect: Native Clojure on LLVM with Seamless C++ Interop

Systems & CS·Conference Talk·Operating Systems · Jeaye Wilkerson · Clojure/conj

Jeaye Wilkerson

Clojure/conj

40:11

Mojo: Modular's Unified Device Accelerator Language

Systems & CS·Conference Talk·Computer Architecture · Chris Lattner · GPU MODE

Chris Lattner

GPU MODE

2:13:36

Optimizing Clojure: Leveraging Modern JVM for Performance

Clojure/Conj 2026 Conference Talks · Lec 2·Algorithms & Data Structures · Chris Nuernberger · Griffin Financial Technology

Chris Nuernberger

Griffin Financial Technology

33:48

Compiler 2.0: Building the Next Generation of Compilers with Machine Learning

Systems & CS·Standalone Lecture·Compilers & Code Generation · Saman Amarasinghe · MIT

Saman Amarasinghe

MIT

56:56

Grace Hopper's Landmark Lecture: The Future of Computing (1985)

Systems & CS·Public Colloquium·Compilers & Code Generation · Grace Hopper · MIT

Grace Hopper

MIT

1:25:57

A Practical Guide to Data-Oriented Design

Systems & CS·Conference Talk·Computer Architecture · Andrew Kelley · Zig Software Foundation

Andrew Kelley

Zig Software Foundation

46:40

The Wasted Potential of Haskell: Language & Compiler

Systems & CS·Public Colloquium·Functional Programming · James Faure

James Faure

26:17

Thinking Like a Compiler: Program Obfuscation from the Other Side

Systems & CS·Conference Talk·Systems Security · Laurie Kirk · RE//verse Conference

Laurie Kirk

RE//verse Conference

54:58

Topics in High Energy Physics, Lecture 2: Gauge Symmetries & Path Integrals

Systems & CS·Conference Talk·Compilers & Code Generation · Julin Shaji · Indian Institute of Technology Palakkad

Julin Shaji

Indian Institute of Technology Palakkad

27:23

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations

Systems & CS·Conference Talk·Linguistics, Philology & Historical Decipherment · David Knothe · FZI Research Center for Information Technology

David Knothe

FZI Research Center for Information Technology

26:08

What Compilers Can and Cannot Do

Performance Engineering of Software Systems · Lec 9·Computer Architecture · Tao B. Schardl · MIT

Tao B. Schardl

MIT

1:18:46

Accelerating the Zig Tokenizer with AVX-512

Systems & CS·Conference Talk·Computer Architecture · Niles Salter · Software You Can Love

Niles Salter

Software You Can Love

49:25

Escape from the Ivory Tower: The Haskell Journey

Systems & CS·Conference Talk·Functional Programming · Simon Peyton Jones · Microsoft Research

Simon Peyton Jones

Microsoft Research

1:04:15

From Stencils to XLA: A Reactant Backend for ParallelStencil.jl

Systems & CS·Conference Talk·Programming Languages · Samuel Omlin & William Moses · JuliaCon Global 2026

Samuel Omlin&William Moses

JuliaCon Global 2026

32:33

Optimising for Fast Builds with GHC

Systems & CS·Conference Talk·Functional Programming · Teo Camarasu · The Haskell Foundation

Teo Camarasu

The Haskell Foundation

1:01:49

JuliaLowering.jl: Provenance, Automatic Hygiene, and Tooling

Systems & CS·Conference Talk·Computer Architecture · Claire Foster & Em Chu · JuliaCon Global

Claire Foster&Em Chu

JuliaCon Global

25:17

Efficient, Robust Parsing with BufferIO.jl

Systems & CS·Conference Talk·Operating Systems · Jakob Nybo Andersen · JuliaCon Global

Jakob Nybo Andersen

JuliaCon Global

15:34

Arrays

Introduction to Computer Science · Lec 3·Operating Systems · David J. Malan · Harvard University

David J. Malan

Harvard University

2:12:04

JIT Query Compilation & Code Generation

15-721 · Advanced Database Systems · Lec 8·Programming Languages · Andy Pavlo · Carnegie Mellon University

Andy Pavlo

Carnegie Mellon University

1:21:57

Showing 20 of 25 lectures18.1h shown

More categories

Browse all →

Mathematics (428)Physics & Cosmology (404)AI & Machine Learning (213)History & Humanities (375)Philosophy & Ethics (264)Biology & Neuroscience (281)Economics & Finance (336)Algorithms & Theory (339)Engineering & Robotics (209)