superoptimization

English

Etymology

Coined by American computer scientist and programmer Alexia Massalin in 1987, from super- +‎ optimization.

Pronunciation

• Audio (US):

  (file)

Noun

superoptimization (uncountable)

1. (software compilation) A form of peephole optimization that typically uses an exhaustive brute-force search across all possible sequences of machine instructions.
   • 2023 June, Daniel J. Mankowitz, Andrea Michi, Anton Zhernov, Marco Gelmi, Marco Selvi, “Faster sorting algorithms discovered using deep reinforcement learning”, in Nature‎^[1], volume 618, number 7964, →DOI, →ISSN, pages 257–263:

     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.

Related terms

• superoptimizer