@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,
}