New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes | Publicación