H. Massalin, “Superoptimizer - A Look at the Smallest Program,” ACM SIGARCH Comput. Archit. News, pp. 122–126, 1987.
https://web.stanford.edu/class/cs343/resources/superoptimize...
The H is for "Henry".