Superoptimizer

[Google Scholar] [Wikipedia]

Notes:
Papers: massalin:asplos:1987, bansal:asplos:2006, bansal:osdi:2008