Proving Kernels Correct Instead of Testing Them @GPUMODE

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.

Proving Kernels Correct Instead of Testing Them

How FlashAttention 4 Works

Lecture 20: Scan Algorithm

Livestream: Outperforming cuBLAS on H100

Mirage (MPK): Compiling LLMs into Mega Kernels

Lecture 114: PyCuTe

Learning CUTLASS the hard way

Lecture 63: Search-Based Deep Learning Compilers

Lecture 89: cuTile (from friends at NVIDIA)

PyCuTe

Spectral Compute: Compile CUDA everywhere

Lecture 68: Landscape of GPU Centric communication

Proving Kernels Correct Instead of Testing Them

🔇 TAP TO UNMUTE