Souper: A Synthesizing Superoptimizer
arXiv: Programming Languages, Volume abs/1711.04422, 2017.
If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quality compiler. We developed Souper, a synthesizing superoptimizer, to see how far these ideas might be pushed in the context of LLVM. Along the way, we discovered...More
Full Text (Upload PDF)
PPT (Upload PPT)