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.
In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '12) , 2012
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.