Compiler analysis for OpenMP tasks correctness | Publicación