Superoptimizer

[Google Scholar] [Wikipedia]

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

Automatic generation of peephole superoptimizers [bansal:asplos:2006]
Binary translation using peephole superoptimizers [bansal:osdi:2008]
Denali: A goal-directed superoptimizer [joshi:pldi:2002]
Superoptimizer: A look at the smallest program [massalin:asplos:1987]
Dataflow-based pruning for speeding up superoptimization [mukherjee:oopsla:2020]

The opinions expressed are my own views and not my employer’s.