STOKE, a stochastic superoptimizer, is pretty interesting in this context: http://stoke.stanford.edu/ http://stoke.stanford.edu/ & https://github.com/StanfordPL

STOKE, a stochastic superoptimizer, is pretty interesting in this context: http://stoke.stanford.edu/ http://stoke.stanford.edu/ & https://github.com/StanfordPL/stoke https://github.com/StanfordPL/stoke