See also:

Conditionally Correct Superoptimization https://theory.stanford.edu/~aiken/publications/papers/oopsl...

Stochastic Superoptimization https://theory.stanford.edu/~aiken/publications/papers/asplo...

Automatic Generation of Peephole Superoptimizers https://theory.stanford.edu/~aiken/publications/papers/asplo...