Binary translation: static, dynamic, retargetable? | IEEE Conference Publication | IEEE Xplore