Superoptimizer: a look at the smallest program (1987)

by Henry Massalin
Venue:In ASPLOS