A Novel Framework of Register Allocation for Software Pipelining.

Qi Ning, Guang R. Gao

Browse the full POPL paper archive.