Stochastic Optimization for x86 Binaries [video]

The part related to floating point optimization is really cool.