Fabrice Rastello François de Ferrière Christophe Guillon Optimizing Translation Out of SSA Using Renaming Constraints. 265-278 2004 conf/cgo/2004 CGO http://csdl.computer.org/comp/proceedings/cgo/2004/2102/00/21020265abs.htm db/conf/cgo/cgo2004.html#RastelloFG04