Superoptimizer – A Look at the Smallest Program

Same author did the synthesis kernel with Carl Pu, I think? The Synthesis kernel was genius, but relied on self modifying code, so can't work with modern chips well.

I love love love this paper. I wonder how a GPU would do with it?

(1987)