A New Termination Approach for Specialization. - Litong Song; Yoshihiko Futamura (SAIG, 2000)

Loop Transformation Techniques To Aid In Loop Unrolling and Multithreading. - Litong Song; Yuhua Zhang; Krishna M. Kavi (PDCS, 2003)

An Unfolding-Based Loop Optimization Technique. - Litong Song; Krishna M. Kavi; Ron Cytron (SCOPES, 2003)

What can we gain by unfolding loops? - Litong Song; Krishna M. Kavi (ACM SIGPLAN Notices, 2004)