Detecting loop-carried dependences in programs with dynamic data structures | Publicación