Sara Royuela, Roger Ferrer, Diego Caballero, Xavier Martorell. Compiler analysis for OpenMP tasks correctness. In Claudia Di Napoli, Valentina Salapura, Hubertus Franke, Rui Hou, editors, Proceedings of the 12th ACM International Conference on Computing Frontiers, CF'15, Ischia, Italy, May 18-21, 2015. pages 7, ACM, 2015. [doi]
Abstract is missing.