Static Single Assignment Form for machine Code.

Allen Leung, Lal George

Browse the full PLDI paper archive.