Lecture 115: Proving Kernels Correct Instead of Testing Them @GPUMODE

Lecture 115: Proving Kernels Correct Instead of Testing Them @GPUMODE

Uploaded September 2026 | Updated September 2026, 3 hours ago

GPU MODE talk by Ben Koska: Proving Kernels Correct Instead of Testing Them.

Lecture 115: Proving Kernels Correct Instead of Testing Them

Lecture 34: Low Bit Triton Kernels

Hugging Face Kernels

Fundamentals of CuTe Layout Algebra and Category-theoretic Interpretation

GPU Observability

Lecture 86: Getting Started with CuTe DSL

Lecture 22: Hackers Guide to Speculative Decoding in VLLM

Lecture 90: Building resilient ML Engineering skills

Lecture 76: BackendBench fixing the LLM kernel correctness problem

Lecture 43: int8 tensorcore matmul for Turing

Lecture 64: Multi-GPU programming

The History of CUDA MODE (Now GPU MODE)

Lecture 115: Proving Kernels Correct Instead of Testing Them