1. A computer-implemented method for binary translation from a source instruction set architecture (ISA) to a target ISA distinct from the source ISA, the method comprising: a) selecting a set of peephole translation rules stored on a computer readable medium, wherein each rule in the set maps a source binary instruction sequence executable on the source ISA to corresponding equivalent binary instruction sequence executable on the target ISA; and b) using the set of peephole translation rules to directly translate a source binary executable on the first ISA to a target binary executable on the second ISA.