SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages
SkePU: a multi-backend skeleton programming library for multi-GPU systems