Checkmate enables per-iteration checkpointing in DNN training with no training slowdown. In data-parallel training, gradients already flow through the network, so Checkmate multicasts them to a shadow cluster that maintains a live copy of the model. Training never has to pause to write state to storage.

cache_ext is an eBPF framework that lets developers customize the Linux page cache's eviction policy without modifying the kernel. Different applications can plug in their own policies tailored to their workloads, while the page cache still shares memory across processes and keeps policies from interfering with each other.

PeeR makes eBPF programs preemptable and schedulable. Today's eBPF runs to completion in softirq context, invisible to the scheduler, creating isolation problems. PeeR adds cooperative preemption at helper calls and integrates with sched_ext for first-class scheduling.

BPF-oF is a remote-storage pushdown protocol built on NVMe-oF. Instead of bouncing dependent I/O requests back and forth between client and storage server, applications push custom eBPF functions to execute directly on the remote server.

Columbia's foundational operating systems course. Covers process scheduling, virtual memory, synchronization, and file systems, with assignments that involve hacking the Linux kernel.

A course focused on how foundational systems tools are built. Covers the implementation of git, containers, debuggers, and linkers.

Columbia's introductory systems course, serving 300–400 students per semester. Covers C, UNIX, make, git, sockets, and HTTP, building from UNIX basics to networked applications.

A competitive programming class implementing algorithms in C, C++, Java and Python.

Guided small groups of students through introductory Java assignments, focusing on basic OOP design.