Скидывайте ссылки на книги, где описаны методы оптимизации.
Ввиду того что сейчас активно испльзуется мета программирование и такие библиотеки как Boost, встает необходимость в написании компилятора хорошо оптимизирующего все эти сложные комбинации шаблонов.

ЗЫ А вооще, интересно, существует ли сейчас живой проэкт по созданию компилятора. Хотелось бы присоединиться.