Sorav Bansal Alex Aiken Binary Translation Using Peephole Superoptimizers. 177-192 2008 OSDI http://www.usenix.org/events/osdi08/tech/full_papers/bansal/bansal.pdf conf/osdi/2008 db/conf/osdi/osdi2008.html#BansalA08