 In 1992, the GNU Superoptimizer (GSO) was developed to integrate into the GNU Compiler Collection (GCC).Later work further developed and extended these ideas.In 2001, goal-directed superoptimizing was demonstrated in the Denali project by Compaq research.