superoptimization en · NOUN
Pronunciation
- (US) audio
Etymology
Coined by American computer scientist and programmer Alexia Massalin in 1987, from super- + optimization.
Meanings
-
(uncountable) 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 14, 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: