Superoptimizer: a look at the smallest program (1987)

by H Massalin
Venue:ACM SIGARCH Computer Architecture News