05/06/2020, Peter Sovietov¶
Доклад Improving Compiler Construction Using Formal Methods (Jubi Taneja) Обзор работ по теме использования супероптимизатора Souper в различных фазах компиляции (статический анализ, автоматизация создания правил локальной оптимизации). https://www.youtube.com/watch?v=de8Ak0nY1hA