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
    acm: Software_PROGRAMMINGLANGUAGES

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