Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers. - Manuel Arenaz; Pedro Amoedo; Juan Touriño (Euro-Par, 2008)