Superoptimization is the process where a compiler automatically finds the optimal sequence for a loop-free sequence of instructions. Real-world compilers generally cannot produce genuinely optimal code, and while most standard compiler optimizations only improve code partly, a superoptimizer's goal is to find the optimal sequence, the canonical form. Superoptimizers can be used to improve conventional optimizers by highlighting missed opportunities so a human can write additional rules.
write additional rules. The term superoptimization was first coined by Alexia Massalin in the 1987 paper Superoptimizer: A Look at the Smallest Program...
specification. However, program synthesis also has applications to superoptimization and inference of loop invariants. During the Summer Institute of Symbolic...
American computer scientist and programmer. She pioneered the concept of superoptimization, and designed the Synthesis kernel, a small kernel with a Unix compatibility...
optimizer, an early mainframe object code optimizer for IBM Cobol Superoptimization Digital Research XLT86, an optimizing assembly source-to-source compiler...
latency savings. The AlphaDev's performance was compared to stochastic superoptimization, a logical AI approach. The latter was run with at least the same...
improve the result; they have no pretense of producing optimal output. Superoptimization is the process of finding truly optimal output. Optimization can occur...
only at run-time. One such static binary translator uses universal superoptimizer peephole technology (developed by Sorav Bansal and Alex Aiken from Stanford...
Retrieved 26 November 2015. Sayle, Roger Anthony (June 17, 2008). "A Superoptimizer Analysis of Multiway Branch Code Generation" (PDF). Proceedings of the...
[presented earlier] can be implemented as the following:[C example]" "A Superoptimizer Analysis of Multiway Branch Code Generation" by Roger Anthony Sayle...
tables to computer programs by rule mask techniques by P. J. H. King A Superoptimizer Analysis of Multiway Branch Code Generation Archived 27 February 2012...
pp. 136–141. ISBN 978-0201072563. Sayle, Roger A. (17 June 2008). "A Superoptimizer Analysis of Multiway Branch Code Generation" (PDF). Proceedings of the...