On the Automatic Detection of Heap-Induced Data Dependencies with Interprocedural Shape Analysis | Publicación