Speculative alias analysis for executable code | Publicación