Souper: A Synthesizing Superoptimizer

Preprint English OPEN
Sasnauskas, Raimondas ; Chen, Yang ; Collingbourne, Peter ; Ketema, Jeroen ; Lup, Gratian ; Taneja, Jubi ; Regehr, John (2017)
  • Subject: Computer Science - Programming Languages

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 idea... View more
Share - Bookmark