Detecting Bugs in Register Allocation

by Yuqiang Huang , Bruce R. Childers , Mary Lou Soffa