Доклад Improving Compiler Construction Using Formal Methods (Jubi Taneja)
Обзор работ по теме использования супероптимизатора Souper в различных фазах компиляции (статический анализ, автоматизация создания правил локальной оптимизации).
https://www.youtube.com/watch?v=de8Ak0nY1hA
#smt #superoptimizer
Обзор работ по теме использования супероптимизатора Souper в различных фазах компиляции (статический анализ, автоматизация создания правил локальной оптимизации).
https://www.youtube.com/watch?v=de8Ak0nY1hA
#smt #superoptimizer
YouTube
Jubi Taneja presents "Improving Compiler Construction Using Formal Methods"
Talk by Jubi Taneja in the Berkeley Programming Systems Seminar on June 4, 2020
Talk Abstract: As programming languages are becoming more high-level to improve programmers' efficiency, the processors, in contrast, are moving towards specialization. The role…
Talk Abstract: As programming languages are becoming more high-level to improve programmers' efficiency, the processors, in contrast, are moving towards specialization. The role…