Суперкомпиляторы:
ru.wikipedia.org/wiki/%D0%A1%D1%83%D0%BF%D0%B5%D1%80%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%86%D0%B8%D1%8F
В настоящее время читаю Model Checking. Тоже достаточно интересная и актуальная тема.
ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B2%D0%B5%D1%80%D0%BA%D0%B0_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B5%D0%B9
Вообще можно много чего напредлагать. Выбор в первую очередь должен зависеть от ваших интересов =)
Расскажите что-ли что вас увлекает…
