Academic Discipline

Systems & CS

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

18courses296standalone talks543total lectures

Subfields

All Systems & CS543 Programming Languages151 Software Design & HCI117 Database Systems97 Operating Systems96 Distributed Systems87 Computer Architecture72 Algorithms & Data Structures56 Systems Security41 Malleable Computing & Dynamic Media38 Computer Networks & Cloud14 Computer Vision & Graphics6 Probability & Information Theory6

Cross-Disciplinary Bridges & Theoretical Foundations · Systems & CS

6 connections

Structural connections linking subfields, mathematical foundations, and courses across disciplines.

Conceptual Bridgesubfield

Logic, Set Theory & Foundations

Through the Curry-Howard correspondence, intuitionistic proofs and constructive logic map isomorphically onto lambda calculus terms and static type systems.

curry-howard isomorphism lambda calculus type theory

Applied Counterpartcourse

6.001: Structure and Interpretation of Computer Programs (SICP)

MIT · Hal Abelson & Gerald Jay Sussman

SICP provides a foundational understanding of programming language design, interpretation, and compilation, exploring concepts like lambda calculus, recursion, and abstraction that underpin modern language theory.

lambda calculus recursion abstraction

Conceptual Bridgelecture

AI's Impact on Programming: An Epistemological Perspective

Felienne Hermans · Vrije Universiteit Amsterdam

This lecture bridges programming language theory with the emerging impact of AI on software development, exploring how AI influences code generation, program understanding, and the very nature of programming knowledge.

code generation program synthesis epistemology of programming

Seminar Extensionlecture

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

Jeaye Wilkerson · Clojure/conj

This lecture explores an advanced topic in programming language implementation, specifically compiling Clojure to native code via LLVM, demonstrating practical applications of compiler design and language interoperability.

compilers llvm language interoperability

Applied Counterpartcourse

15-721: Advanced Database Systems

Carnegie Mellon University · Andy Pavlo

This course provides a comprehensive, graduate-level exploration of database system internals, covering storage, indexing, query processing, concurrency control, and recovery, forming the theoretical and practical core of the subfield.

concurrency control transaction management query processing

Theoretical Foundationcourse

CS50: Introduction to Computer Science

Harvard University · David J. Malan

CS50 introduces fundamental programming and data structures, including basic database concepts like SQL and relational models, providing an entry point to the more specialized field of database systems.

sql relational databases data modeling