Rokiatou Diarra, Alain Mérigot, Bastien Vincke
[Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs
SCAM, 2018.
@inproceedings{SCAM-2018-DiarraMV,
author = "Rokiatou Diarra and Alain Mérigot and Bastien Vincke",
booktitle = "{Proceedings of the 18th International Working Conference on Source Code Analysis and Manipulation}",
doi = "10.1109/SCAM.2018.00029",
isbn = "978-1-5386-8290-6",
pages = "187--192",
publisher = "{IEEE Computer Society}",
title = "{[Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs}",
year = 2018,
}
Tags: