1. OpenMP tasking model for Ada: safety and correctness;Royuela,2017
2. Safe parallelism: compiler analysis techniques for Ada and OpenMP;Royuela,2018
3. Converging safety and high-performance domains: Integrating OpenMP into Ada;Royuela,2018
4. NVIDIA®Corporation, NVIDIA®CUDA C Programming Guide, 2016, (https://docs.nvidia.com/cuda/cuda-c-programming-guide/index.html). [Online; accessed January-2017].
5. OpenCL: A parallel programming standard for heterogeneous computing systems;Stone;CS&E,2010