Noun
superoptimizer (plural superoptimizers) (computing) An algorithm that carries out superoptimization.