1:10:57Verifying Data Parallel Programs Using Sequential Program Verification TechnologyMicrosoft Research169 viewsView & Download
37:03GPUVerify: Predicated execution and invariant inferenceImperial College London612 viewsView & Download
55:32Verifying GPU Programs Speaker: Tiago Cogumbeiro, Massachusetts Boston.SET DIGITAL14 viewsView & Download
1:57AMS Verification Methodology for GPUs in AI and Deep Learning ApplicationsVerificationAcademy138 viewsView & Download
1:23:38Alastair Donaldson - Testing and Verification Methods for Many-Core Concurrency - Part IHalmstad Summer School on Testing189 viewsView & Download
13:46Analyzing Deepseek's "undefined" NVIDIA PTX optimizations (with benchmarks!)LaurieWired129.9K viewsView & Download