SSA-Based Register Allocation with PBQP. - Sebastian Buchwald; Andreas Zwinkau; Thomas Bersch (CC, 2011)