A transformational approach to binary translation of delayed branches (2003)

by Norman Ramsey, Cristina Cifuentes
Venue:ACM Transactions on Programming Languages and Systems