Compiler Optimization via Superoptimization

This paper explores superoptimization and describes its more practical applications in compilers and programming languages.