/
Independent academic archive · Rights remain with the original publishers · Streamed via YouTube
Play15s30s1x0:00/--:--
DoneWatched
Expand
GPU MODE·Jubi Taneja
30:35
0:00/30:35
Type below to lock the video timestamp, or press S to capture a slide.
GPU Kernel Formal Verification
An in-depth examination of formal verification techniques applied to GPU kernels, addressing the complexities of ensuring correctness in parallel computing architectures.
GPU MODE talk by Jubi Taneja: GPU Kernel Formal Verification.