Qi Ning Guang R. Gao A Novel Framework of Register Allocation for Software Pipelining. 29-42 1993 POPL db/conf/popl/popl93.html#NingG93