superoptimization
nounEtymology Coined by American computer scientist and programmer Alexia Massalin in 1987, from super- + optimization.
1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences, Software compilation A form of peephole optimization that typically uses an exhaustive brute-force search across all possible sequences of machine instructions.
- As such, we implemented a state-of-the-art stochastic superoptimization approach, adapted it to the sort setting and used it as the learning algorithm in AlphaDev.2023 June 23, Daniel J. Mankowitz, Andrea Michi, Anton Zhernov, Marco Gelmi, Marco Selvi, “Faster sorting algorithms discovered using deep reinforcement learning”, in Nature, volume 618, number 7964, →DOI, →ISSN, pages 257–263:
- Related terms
- superoptimizer