Efficiently Computing Static Single Assignment Form and the Control Graph [pdf]cs.utexas.edu 2de_keyboard2ydiscuss