See also: Conditionally Correct Superoptimization https://theory.stanford.edu/~aiken/publications/papers/oopsla15a.pdf https://theory.stanford.edu/~aiken/pub

See also: Conditionally Correct Superoptimization https://theory.stanford.edu/~aiken/publications/papers/oopsla15a.pdf https://theory.stanford.edu/~aiken/publications/papers/oopsl... Stochastic Superoptimization https://theory.stanford.edu/~aiken/publications/papers/asplos13.pdf https://theory.stanford.edu/~aiken/publications/papers/asplo... Automatic Generation of Peephole Superoptimizers https://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf https://theory.stanford.edu/~aiken/publications/papers/asplo...