/
Independent academic archive · Rights remain with the original publishers · Streamed via YouTube
Play15s30s1x0:00/--:--
DoneWatched
Expand
GPU MODE·Ben Koska
44:41
0:00/44:41
Type below to lock the video timestamp, or press S to capture a slide.
A technical talk exploring formal methods for verifying the correctness of GPU kernels, presenting an alternative to traditional testing paradigms in high-performance computing.
GPU MODE talk by Ben Koska: Proving Kernels Correct Instead of Testing Them.