The compiler as a validation and evaluation tool

Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr. The compiler as a validation and evaluation tool. Electronic Notes in Theoretical Computer Science, 82(2):443-460, 2003. [doi]