OptiGPU enables proof-preserving source-to-source compilation to generate safe CUDA code from verified CPU programs by modeling GPU features like kernels, shared memory, and barriers.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Source-to-Source Transformations for GPU Code Generation
OptiGPU enables proof-preserving source-to-source compilation to generate safe CUDA code from verified CPU programs by modeling GPU features like kernels, shared memory, and barriers.