Future Directions for Optimizing Compilers
Souper: A Synthesizing Superoptimizer