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)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
HyPOLE introduces a HyperLTL-guided framework for partial-observability MARL integrated with CTDE, claiming advantages over baselines on SMAC, MessySMAC, and WildFire.
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.
-
HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation
HyPOLE introduces a HyperLTL-guided framework for partial-observability MARL integrated with CTDE, claiming advantages over baselines on SMAC, MessySMAC, and WildFire.