Cuq Framework: Formal Verification of Rust GPU Kernels Targeting PTX Architecture
Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels - neelsomani/cuq
Read the full articleYou might also wanna read
cuTile Rust: Extending Rust's Ownership Model to Safe GPU Kernel Programming
Rust has made safe systems programming practical on the CPU, but writing custom GPU kernels in Rust still forces programmers outside the lan
arxiv.org·29d ago
cuTile Rust: Extending Rust's Ownership Model to Safe GPU Kernel Programming
Rust has made safe systems programming practical on the CPU, but writing custom GPU kernels in Rust still forces programmers outside the lan
hgpu.org·1mo ago
Are LLM-Generated GPU Kernels Production-Ready? A Trace-Driven Benchmark and Optimization Agent
arXiv:2607.14541v1 Announce Type: new Abstract: Existing GPU kernel generation benchmarks draw problems from synthetic or curated sources th
Graphics Programming weekly - Issue 439 - May 4th, 2026
Writing a bindless GPU abstraction layer introduces Loon GPU, a bindless abstraction layer implemented on Vulkan 1.3 and Metal 4 exposes GPU
Modular: Software Pipelining for GPU Kernels: Part 1 - The Pipeline Problem
Software Pipelining for GPU Kernels: Part 1 - The Pipeline Problem
Modular: How to Beat Unsloth's CUDA Kernel Using Mojo—With Zero GPU Experience
How to Beat Unsloth's CUDA Kernel Using Mojo—With Zero GPU Experience
Comments
Sign in to join the conversation.
No comments yet. Be the first.