[Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs.

Rokiatou Diarra, Alain Mrigot, Bastien Vincke

Browse the full SCAM paper archive.