Compiler Analysis for OpenMP Tasks Correctness
URL: http://doi.acm.org/10.1145/2742854.2742882
Authors: Royuela, Sara / Ferrer, Roger / Caballero, Diego / Martorell, Xavier
Publication: Proceedings of the 12th ACM International Conference on Computing Frontiers
Place Published: New York, NY, USA
Pagination: 7:1–7:8
Paraules clau: compiler, correctness, OpenMP, static analysis, tasks