cuTile Rust: Extending Rust's Ownership Model to Safe GPU Kernel Programming
By
Michael Garland
Right out the toaster. Reliable, with some real depth.
Summary
This paper (arXiv:2606.15991) presents cuTile Rust, a system that extends Rust's ownership and borrowing guarantees to GPU kernel authoring. It enables safe, idiomatic GPU programming in Rust by applying tile-based decomposition where mutable outputs are split into disjoint pieces, kernel launches preserve host-side ownership contracts, and programmers can opt into safe concurrency patterns. The work addresses the gap between Rust's safe systems programming on CPU and the lack of similar guarantees when writing custom GPU kernels.
Key quotes
· 3 pulledRust has made safe systems programming practical on the CPU, but writing custom GPU kernels in Rust still forces programmers outside the language's ownership guarantees.
We present cuTile Rust, a tile-based system for safe, idiomatic GPU kernel authoring in Rust.
cuTile Rust extends Rust's ownership discipline to tile-based GPU kernels: mutable outputs are split into disjoint pieces, kernel launches preserve the host-side ownership contract, and programmers can opt in
You might also wanna read
cuTile Rust: A Safe, Tile-Based GPU Kernel Programming DSL for Rust
cuTile Rust (cutile-rs) is a new tile-based GPU kernel programming DSL for Rust that extends Rust's ownership and borrowing rules across the
github.com·13h ago
Cuq Framework: Formal Verification of Rust GPU Kernels Targeting PTX Architecture
Cuq is a research framework that provides the first formal semantics and verified translation for Rust GPU kernels targeting NVIDIA's PTX ar
github.com·7mo ago
A Grounded Conceptual Model for Ownership Types in Rust Programming
This article presents a grounded conceptual model for ownership types in Rust, the programming language known for memory safety without garb
Communications of the ACM·1mo ago
VectorWare Enables Rust Async/Await Programming on GPUs
VectorWare announces a breakthrough in GPU programming by enabling Rust's async/await and Future trait on GPUs. This represents a significan
vectorware.com·3mo agoRust for Linux
RustGPT: Complete Transformer-Based LLM Implementation in Pure Rust
RustGPT is a complete Large Language Model implementation built entirely in Rust without external ML frameworks. The project demonstrates bu
github.com·9mo ago